| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2018-06-28 | Move everything over from `middle::const_val` to `mir::interpret` | Oliver Schneider | -2/+2 |
| 2018-06-26 | introduce `Normalizable` trait for things directly normalizable | Niko Matsakis | -4/+36 |
| 2018-06-26 | convert `prove_predicate` into a query | Niko Matsakis | -1/+10 |
| 2018-06-26 | make `Subtype` a true query | Niko Matsakis | -1/+9 |
| 2018-06-26 | make `Eq` a true query | Niko Matsakis | -1/+9 |
| 2018-06-14 | rustc: rename ty::maps to ty::query. | Eduard-Mihai Burtescu | -0/+667 |
