about summary refs log tree commit diff
path: root/src/test/ui/auto-traits
AgeCommit message (Collapse)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-639/+0
2022-12-05Synthesize generics for bad auto traits in dyn typesMichael Goulet-0/+22
2022-10-01bless ui testsMaybe Waffle-5/+5
2022-08-21Rework point-at-argMichael Goulet-4/+4
2022-08-18Reword "Required because of the requirements on the impl of ..."Andy Wang-1/+1
2022-08-03Warn about dead tuple struct fieldsFabian Wolff-1/+1
2022-07-01Shorten def_span for more items.Camille GILLOT-10/+10
2022-05-20rewrite `ensure_drop_params_and_item_params_correspond`lcnr-5/+5
2022-04-04Mention implementers of unsatisfied traitEsteban Kuber-2/+1
When encountering an unsatisfied trait bound, if there are no other suggestions, mention all the types that *do* implement that trait: ``` error[E0277]: the trait bound `f32: Foo` is not satisfied --> $DIR/impl_wf.rs:22:6 | LL | impl Baz<f32> for f32 { } | ^^^^^^^^ the trait `Foo` is not implemented for `f32` | = help: the following other types implement trait `Foo`: Option<T> i32 str note: required by a bound in `Baz` --> $DIR/impl_wf.rs:18:31 | LL | trait Baz<U: ?Sized> where U: Foo { } | ^^^ required by this bound in `Baz` ``` Mention implementers of traits in `ImplObligation`s. Do not mention other `impl`s for closures, ranges and `?`.
2022-03-14relax `suspicious_auto_trait_impls` lintlcnr-1/+22
2022-02-24update auto trait lintlcnr-7/+32
2022-02-14Make `find_similar_impl_candidates` a little fuzzier.Ben Reeves-0/+2
2022-02-01implement lint for suspicious auto trait implslcnr-0/+86
2021-12-14extend `simplify_type`lcnr-1/+5
2021-10-03Deny `where` clauses on `auto` traitsFabian Wolff-30/+95
2021-08-16Use note to point at bound introducing requirementEsteban Küber-15/+28
2020-12-01Fix UI tests for negative polarity implementations of traitsThePuzzlemaker-11/+0
2020-11-23Rename `optin_builtin_traits` to `auto_traits`Camelid-10/+10
They were originally called "opt-in, built-in traits" (OIBITs), but people realized that the name was too confusing and a mouthful, and so they were renamed to just "auto traits". The feature flag's name wasn't updated, though, so that's what this PR does. There are some other spots in the compiler that still refer to OIBITs, but I don't think changing those now is worth it since they are internal and not particularly relevant to this PR. Also see <https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/opt-in.2C.20built-in.20traits.20(auto.20traits).20feature.20name>.
2020-08-20Don't immediately error for cycles during normalizationMatthew Jasper-11/+3
2020-06-17Unify region variables when projecting associated typesmatthewjasper-0/+421
This is required to avoid cycles when evaluating auto trait predicates.