summary refs log tree commit diff
path: root/tests/ui/impl-trait/issues
AgeCommit message (Expand)AuthorLines
2024-03-11Make `DefiningAnchor::Bind` only store the opaque types that may be constrain...Oli Scherer-23/+14
2024-03-08Improve error message for opaque capturesMichael Goulet-12/+16
2024-03-07Merge collect_mod_item_types query into check_well_formedOli Scherer-12/+12
2024-03-07Merge `check_mod_impl_wf` and `check_mod_type_wf`Oli Scherer-2/+17
2024-03-06Auto merge of #121679 - lcnr:opaque-wf-check-2, r=oli-obkbors-14/+24
2024-03-03Use root obligation on E0277 for some casesEsteban Küber-1/+0
2024-02-27when defining opaques, require the hidden type to be well-formedlcnr-14/+24
2024-02-22change error messages to be incorrect, but more helpfullcnr-2/+2
2024-02-22do not use <: in subtyping overflow msglcnr-2/+2
2024-02-22overflow errors: change source to a concrete enumlcnr-18/+9
2024-02-22freshen: resolve root varslcnr-7/+32
2024-02-22remove `sub_relations` from infcx, recompute in diagnosticslcnr-10/+5
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-24/+24
2024-01-15Rollup merge of #119818 - oli-obk:even_more_follow_up_errors3, r=compiler-errorsMatthias Krüger-15/+2
2024-01-13Bless testsGeorge-lewis-0/+2
2024-01-11Keep error types around, even in obligations.Oli Scherer-15/+2
2024-01-11Use the right level with `-Ztreat-err-as-bug`.Nicholas Nethercote-1/+1
2024-01-09Avoid silencing relevant follow-up errorsOli Scherer-6/+99
2024-01-07Split note, fix const/static impl trait errorMichael Goulet-24/+48
2024-01-02Reorder `check_item_type` diagnostics so they occur next to the corresponding...Oli Scherer-13/+22
2023-11-24Show number in error message even for one errorNilstrieb-21/+21
2023-10-20s/generator/coroutine/Oli Scherer-1/+1
2023-10-20s/Generator/Coroutine/Oli Scherer-4/+4
2023-10-06Auto merge of #114811 - estebank:impl-ambiguity, r=wesleywiserbors-1/+1
2023-10-04Tweak wording of E0562Esteban Küber-24/+24
2023-10-04Reorder fullfillment errors to keep more interesting ones firstEsteban Küber-1/+1
2023-10-02Point out the actual mismatch errorMichael Goulet-0/+1
2023-10-02For a single impl candidate, try to unify it with error trait refMichael Goulet-2/+2
2023-09-21adjust how closure/generator types and rvalues are printedRalf Jung-3/+3
2023-08-27More precisely detect cycle errors from type_of on opaqueMichael Goulet-2/+2
2023-07-29Change default panic handler message format.Mara Bos-1/+1
2023-07-07Require TAITs to be mentioned in the signatures of functions that register hi...Oli Scherer-19/+81
2023-07-03Remove compare modeMichael Goulet-1/+0
2023-05-05Don't print backtrace on ICEs in `issue-86800.rs`.Nicholas Nethercote-19/+5
2023-04-12Split out a separate feature gate for impl trait in associated typesOli Scherer-12/+14
2023-03-08Remove `identity_future` indirectionArpad Borsos-12/+2
2023-02-22pluralize stuffMichael Goulet-12/+12
2023-02-14Better label for illegal impl trait typesMichael Goulet-4/+4
2023-02-07Tweak ICE messageEsteban Küber-3/+1
2023-01-30Modify primary span label for E0308Esteban Küber-2/+2
2023-01-27Bless tests.Camille GILLOT-2/+2
2023-01-18Auto merge of #106503 - cjgillot:remap-nofilter, r=oli-obkbors-0/+39
2023-01-11Conserve cause of `ImplDerivedObligation` in E0599Esteban Küber-2/+7
2023-01-11Do not filter substs in `remap_generic_params_to_declaration_params`.Camille GILLOT-0/+39
2023-01-11Move /src/test to /testsAlbert Larsan-0/+1449