about summary refs log tree commit diff
path: root/src/test/ui/impl-trait/equality.rs
AgeCommit message (Collapse)AuthorLines
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-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-2/+2
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-10-24Point at overlapping impls when type annotations are neededEsteban Kuber-1/+1
2020-06-16warn against 'specialization' featureRalf Jung-1/+1
2019-11-18Surround types with backticks in type errorsEsteban Küber-1/+1
2018-12-25Remove licensesMark Rousskov-10/+0
2018-06-07Add existential type definitonsOliver Schneider-19/+0
2018-03-26Stabilize conservative_impl_traitTaylor Cramer-1/+1
2018-02-01Add filter to detect local crates for rustc_on_unimplementedEsteban Küber-1/+1
2017-11-24Merge cfail and ui tests into ui testsOliver Schneider-1/+1
2017-04-10Explicit help message for binop type missmatchEsteban Küber-0/+72
When trying to do a binary operation with missing implementation, for example `1 + Some(2)`, provide an explicit help message: ``` note: no implementation for `{integer} + std::option::Option<{integer}>` ``` Use `rustc_on_unimplemented` for the suggestions. Move cfail test to ui.