| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2018-07-21 | Convert implied_outlives_bounds to a query | Tyler Mandry | -0/+1 |
| 2018-06-27 | pull out `ParamEnvAnd` and remove `QueryKey` | Niko Matsakis | -4/+4 |
| 2018-06-26 | transition to `Fallible` | Niko Matsakis | -0/+7 |
| 2018-06-26 | introduce `Normalizable` trait for things directly normalizable | Niko Matsakis | -0/+3 |
| 2018-06-26 | convert `prove_predicate` into a query | Niko Matsakis | -0/+3 |
| 2018-06-26 | make `Subtype` a true query | Niko Matsakis | -0/+3 |
| 2018-06-26 | make `Eq` a true query | Niko Matsakis | -0/+3 |
| 2018-06-26 | move `type_op` into `rustc` | Niko Matsakis | -0/+1 |
| 2018-04-26 | Create a canonical trait query for `evaluate_obligation` | Aravind Gollakota | -0/+4 |
| 2018-03-13 | introduce `tcx.normalize_erasing_regions(..)` operaton [VIC] | Niko Matsakis | -0/+1 |
| 2018-03-13 | introduce `infcx.at(..).dropck_outlives(..)` operaton [VIC] | Niko Matsakis | -1/+4 |
| 2018-03-13 | introduce `infcx.at(..).normalize(..)` operation [VIC] | Niko Matsakis | -0/+31 |
