about summary refs log tree commit diff
path: root/src/test/ui/impl-trait/bound-normalization-fail.rs
AgeCommit message (Collapse)AuthorLines
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-3/+3
This reverts commit e7cc3bddbe0d0e374d05e7003e662bba1742dbae, reversing changes made to 734368a200904ef9c21db86c595dc04263c87be0.
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-3/+3
by using an opaque type obligation to bubble up comparisons between opaque types and other types Also uses proper obligation causes so that the body id works, because out of some reason nll uses body ids for logic instead of just diagnostics.
2021-07-18Remove impl_trait_in_bindings feature flagSantiago Pastorino-8/+7
2021-04-03Remove redundant `ignore-tidy-linelength` annotationsSimon Jakobi-1/+0
This is step 2 towards fixing #77548. In the codegen and codegen-units test suites, the `//` comment markers were kept in order not to affect any source locations. This is because these tests cannot be automatically `--bless`ed.
2020-02-02compiletest: error if `compile-fail` header in ui test.Tyler Lanphear-1/+0
2019-08-20Remove async_await gates from tests.Mazdak Farrokhzad-1/+0
2019-08-16Remove meaningless comments in src/testsd234678-2/+0
2019-08-12typeck: Prohibit RPIT types that inherit lifetimesDavid Wood-1/+3
This commit prohibits return position `impl Trait` types that "inherit lifetimes" from the parent scope. The intent is to forbid cases that are challenging until they can be addressed properly.
2019-08-02Update syntax in existing testsvarkor-1/+0
2019-07-03Normalize projections in opaque typesJonas Schievink-0/+53