about summary refs log tree commit diff
path: root/src/test/ui/impl-trait/negative-reasoning.rs
AgeCommit message (Collapse)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-23/+0
2022-11-21Allow opaque types in trait impl headers and rely on coherence to reject ↵Oli Scherer-1/+0
unsound cases
2022-04-11prevent opaque types from appearing in impl headersRémy Rakic-0/+1
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-1/+1
This reverts commit 6499c5e7fc173a3f55b7a3bd1e6a50e9edef782d, reversing changes made to 78450d2d602b06d9b94349aaf8cece1a4acaf3a8.
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-07Print opaque types from type aliases via their pathOli Scherer-1/+1
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-1/+0
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-06-11Stop special casing top level TAITMatthew Jasper-7/+8
2019-09-24Add additional tests for type alias impl trait coherenceAaron Hill-0/+22