about summary refs log tree commit diff
path: root/src/test/ui/impl-trait/issues/issue-70877.rs
AgeCommit message (Collapse)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-36/+0
2022-06-29Make RPIT and TAIT work exactly the sameOli Scherer-1/+1
2022-03-28Remove opaque type obligation and just register opaque types as they are ↵Oli Scherer-1/+1
encountered. This also registers obligations for the hidden type immediately.
2022-03-28Revert to inference variable based hidden type computation for RPITOli Scherer-1/+1
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-2/+2
This reverts commit e7cc3bddbe0d0e374d05e7003e662bba1742dbae, reversing changes made to 734368a200904ef9c21db86c595dc04263c87be0.
2022-02-11Revert "Fix regression from lazy opaque types"Oli Scherer-1/+1
This reverts commit 239f1e716dcb1e145b5df5f9439524c817d123b2.
2022-02-08Fix regression from lazy opaque typesOli Scherer-1/+1
2022-02-02Prevent two opaque types in their defining scopes from being defined via the ↵Oli Scherer-3/+1
other
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-1/+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-27Make all tests use type_alias_impl_trait feature instead of minSantiago Pastorino-4/+1
2021-07-18Remove impl_trait_in_bindings feature flagSantiago Pastorino-1/+0
2021-03-15Replace `type_alias_impl_trait` by `min_type_alias_impl_trait` with no ↵Oli Scherer-1/+3
actual changes in behaviour This makes `type_alias_impl_trait` not actually do anything anymore
2020-10-18Add test for issue-70877Yuki Okushi-0/+38