about summary refs log tree commit diff
path: root/src/test/ui/impl-trait/issue-55872.rs
AgeCommit message (Collapse)AuthorLines
2022-02-12Update chalk testsMatthew Jasper-1/+0
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-1/+1
This reverts commit e7cc3bddbe0d0e374d05e7003e662bba1742dbae, reversing changes made to 734368a200904ef9c21db86c595dc04263c87be0.
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-1/+1
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-27Make all tests use type_alias_impl_trait feature instead of minSantiago Pastorino-3/+1
2021-07-27Use type_alias_impl_trait instead of min in compiler and libSantiago Pastorino-2/+1
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.
2021-03-15Replace `type_alias_impl_trait` by `min_type_alias_impl_trait` with no ↵Oli Scherer-1/+4
actual changes in behaviour This makes `type_alias_impl_trait` not actually do anything anymore
2020-10-06Update to chalk 0.31. Implement some unimplemented. Ignore some tests in ↵Jack Huey-0/+1
compare mode chalk don't finish.
2019-08-02Replace "existential" by "opaque"varkor-1/+1
2019-08-02Update syntax in existing testsvarkor-2/+2
2019-07-03typeck: merge opaque type inference logicDavid Wood-0/+19
This commit merges the logic used for opaque type type inference for impl Trait and non-impl Trait cases. This fixes an ICE where existential types used in the return types of functions would be allowed to have an out-of-scope generic type parameter.