| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2020-05-09 | fix error code for E0751 | YI | -15/+15 | |
| 2020-04-08 | Small tweaks to required bound span | Esteban Küber | -6/+6 | |
| 2020-04-08 | Use `PredicateObligation`s instead of `Predicate`s | Esteban Küber | -1/+1 | |
| Keep more information about trait binding failures. | ||||
| 2020-03-26 | add test for negative specializes negative | Niko Matsakis | -0/+13 | |
| 2020-03-26 | move stderr file too | Niko Matsakis | -0/+12 | |
| 2020-03-26 | give the negative-impls-builtin test a more sensible name | Niko Matsakis | -0/+0 | |
| 2020-03-26 | comment the `typeck-negative-impls-builtin` test | Niko Matsakis | -0/+3 | |
| 2020-03-26 | move feature-gate-negative-impls test to traits/negative-impls | Niko Matsakis | -0/+3 | |
| 2020-03-26 | introduce `negative_impls` feature gate and document | Niko Matsakis | -12/+12 | |
| They used to be covered by `optin_builtin_traits` but negative impls are now applicable to all traits, not just auto traits. This also adds docs in the unstable book for the current state of auto traits. | ||||
| 2020-03-26 | make a custom error for overlap with negative impls | Niko Matsakis | -47/+43 | |
| 2020-03-26 | permit negative impls for non-auto traits | Niko Matsakis | -0/+428 | |
