| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2020-10-06 | Normalize projection bounds when considering candidates | Matthew Jasper | -15/+0 | |
| This unfortunately requires some winnowing hacks to avoid now ambiguous candidates. | ||||
| 2020-10-06 | Separate bounds and predicates for associated/opaque types | Matthew Jasper | -11/+6 | |
| 2020-05-04 | Suggest restricting type param when it doesn't satisfy projection | Esteban Küber | -1/+3 | |
| When encountering a projection that isn't satisfied by a type parameter, suggest constraining the type parameter. | ||||
| 2020-04-18 | Add label to item source of bound obligation | Esteban Küber | -1/+1 | |
| 2020-04-08 | Use `PredicateObligation`s instead of `Predicate`s | Esteban Küber | -1/+3 | |
| Keep more information about trait binding failures. | ||||
| 2020-02-02 | Use more accurate failed predicate spans | Esteban Küber | -2/+2 | |
| 2020-02-02 | Point at arguments or output when fn obligations come from them, or ident ↵ | Esteban Küber | -2/+2 | |
| when they don't | ||||
| 2019-11-18 | Specific labels when referring to "expected" and "found" types | Esteban Küber | -2/+2 | |
| 2019-11-02 | Update tests | Dmitry Kadashev | -1/+1 | |
| Update the tests to reflect changes to how type mismatch errors are reported (two previous commits). | ||||
| 2019-10-31 | Fix incorrect diagnostics for expected type in E0271 with an associated type | Ohad Ravid | -3/+3 | |
| 2019-09-18 | Add explanation to type mismatch involving type params and assoc types | Esteban Küber | -0/+1 | |
| 2019-08-31 | Use span label instead of note for cause in E0631 | Esteban Küber | -5/+3 | |
| 2018-12-25 | Remove licenses | Mark Rousskov | -2/+2 | |
| 2018-08-14 | Merged migrated compile-fail tests and ui tests. Fixes #46841. | David Wood | -0/+17 | |
