| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-01-22 | Store relationships on Inherent | Santiago Pastorino | -48/+0 | |
| 2022-12-14 | Rename to match similar methods | Oli Scherer | -1/+1 | |
| 2022-11-25 | Introduce PredicateKind::Clause | Santiago Pastorino | -3/+5 | |
| 2022-11-21 | Add a helper for replacing the self type in trait refs | Oli Scherer | -10/+1 | |
| 2022-11-21 | Assert that various types have the right amount of generic args and fix the ↵ | Oli Scherer | -4/+4 | |
| sites that used the wrong amount | ||||
| 2022-11-16 | Convert predicates into Predicate in the Obligation constructor | Oli Scherer | -7/+4 | |
| 2022-10-07 | Remove TypeckResults from InferCtxt | Cameron Steffen | -1/+1 | |
| 2022-07-21 | change `map_bound(|_| x` to `rebind(x` | Deadbeef | -2/+2 | |
| 2022-03-30 | Spellchecking compiler comments | Yuri Astrakhan | -1/+1 | |
| This PR cleans up the rest of the spelling mistakes in the compiler comments. This PR does not change any literal or code spelling issues. | ||||
| 2022-03-01 | 9 - Make more use of `let_chains` | Caio | -42/+30 | |
| Continuation of #94376. cc #53667 | ||||
| 2022-01-17 | Update term for use in more places | kadmin | -1/+1 | |
| Replace use of `ty()` on term and use it in more places. This will allow more flexibility in the future, but slightly worried it allows items which are consts which only accept types. | ||||
| 2022-01-17 | Use Term in ProjectionPredicate | kadmin | -1/+1 | |
| ProjectionPredicate should be able to handle both associated types and consts so this adds the first step of that. It mainly just pipes types all the way down, not entirely sure how to handle consts, but hopefully that'll come with time. | ||||
| 2021-10-20 | Add polarity to TraitPredicate | Santiago Pastorino | -0/+1 | |
| 2021-09-17 | Add another case of fallback to () avoid breakage | Mark Rousskov | -0/+69 | |
| This adds src/test/ui/never_type/fallback-closure-ret.rs as a test case which showcases the failure mode fixed by this commit. | ||||
