| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2017-04-14 | Implement RFC 1268 | Sean Griffin | -1/+1 | |
| This patch allows overlap to occur between any two impls of a trait for traits which have no associated items. Several compile-fail tests around coherence had to be changed to add at least one item to the trait they test against. Ref #29864 | ||||
| 2017-02-25 | rustc_typeck: rework coherence to be almost completely on-demand. | Eduard-Mihai Burtescu | -1/+1 | |
| 2016-03-14 | Adjust test for new overlap message on default trait impls | Aaron Turon | -1/+1 | |
| 2015-12-16 | Provide overlapping types for coherence errors | Aaron Turon | -1/+1 | |
| Currently, a coherence error based on overlapping impls simply mentions the trait, and points to the two conflicting impls: ``` error: conflicting implementations for trait `Foo` ``` With this commit, the error will include all input types to the trait (including the `Self` type) after unification between the overlapping impls. In other words, the error message will provide feedback with full type details, like: ``` error: conflicting implementations of trait `Foo<u32>` for type `u8`: ``` When the `Self` type for the two impls unify to an inference variable, it is elided in the output, since "for type `_`" is just noise in that case. Closes #23980 | ||||
| 2015-04-21 | test: Fix fallout in tests | Alex Crichton | -5/+3 | |
| 2015-04-09 | Remove `ignore-tidy-linelength` from tests that no longer need it | Luke Gallagher | -2/+0 | |
| 2015-03-20 | Check trait unsafety for defaulted traits | Flavio Percoco | -0/+10 | |
| 2015-02-22 | Restore the coherence visitor and fix fallouts | Flavio Percoco | -3/+0 | |
| 2015-02-22 | Record default implementations in a separate step | Flavio Percoco | -1/+3 | |
| 2015-02-22 | Test all the things | Flavio Percoco | -0/+25 | |
