about summary refs log tree commit diff
path: root/src/test/ui/impl-trait/bound-normalization-fail.rs
AgeCommit message (Collapse)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-48/+0
2022-04-28Revert diagnostic duplication and accidental stabilizationOli Scherer-2/+0
2022-03-28Revert to inference variable based hidden type computation for RPITOli Scherer-2/+4
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-3/+3
This reverts commit 6499c5e7fc173a3f55b7a3bd1e6a50e9edef782d, reversing changes made to 78450d2d602b06d9b94349aaf8cece1a4acaf3a8.
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