| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -639/+0 | |
| 2022-12-05 | Synthesize generics for bad auto traits in dyn types | Michael Goulet | -0/+22 | |
| 2022-10-01 | bless ui tests | Maybe Waffle | -5/+5 | |
| 2022-08-21 | Rework point-at-arg | Michael Goulet | -4/+4 | |
| 2022-08-18 | Reword "Required because of the requirements on the impl of ..." | Andy Wang | -1/+1 | |
| 2022-08-03 | Warn about dead tuple struct fields | Fabian Wolff | -1/+1 | |
| 2022-07-01 | Shorten def_span for more items. | Camille GILLOT | -10/+10 | |
| 2022-05-20 | rewrite `ensure_drop_params_and_item_params_correspond` | lcnr | -5/+5 | |
| 2022-04-04 | Mention implementers of unsatisfied trait | Esteban 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-14 | relax `suspicious_auto_trait_impls` lint | lcnr | -1/+22 | |
| 2022-02-24 | update auto trait lint | lcnr | -7/+32 | |
| 2022-02-14 | Make `find_similar_impl_candidates` a little fuzzier. | Ben Reeves | -0/+2 | |
| 2022-02-01 | implement lint for suspicious auto trait impls | lcnr | -0/+86 | |
| 2021-12-14 | extend `simplify_type` | lcnr | -1/+5 | |
| 2021-10-03 | Deny `where` clauses on `auto` traits | Fabian Wolff | -30/+95 | |
| 2021-08-16 | Use note to point at bound introducing requirement | Esteban Küber | -15/+28 | |
| 2020-12-01 | Fix UI tests for negative polarity implementations of traits | ThePuzzlemaker | -11/+0 | |
| 2020-11-23 | Rename `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-20 | Don't immediately error for cycles during normalization | Matthew Jasper | -11/+3 | |
| 2020-06-17 | Unify region variables when projecting associated types | matthewjasper | -0/+421 | |
| This is required to avoid cycles when evaluating auto trait predicates. | ||||
