| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 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 s... | Oli Scherer | -4/+4 |
| 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 |
| 2022-03-01 | 9 - Make more use of `let_chains` | Caio | -42/+30 |
| 2022-01-17 | Update term for use in more places | kadmin | -1/+1 |
| 2022-01-17 | Use Term in ProjectionPredicate | kadmin | -1/+1 |
| 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 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |