about summary refs log tree commit diff
path: root/src/librustc/traits/query/mod.rs
AgeCommit message (Expand)AuthorLines
2019-02-05move librustc to 2018Mark Mansi-3/+3
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-15make autoderef steps a queryAriel Ben-Yehuda-0/+1
2018-10-24introduce (but do not use) `ascribe_user_type` goalNiko Matsakis-0/+3
2018-07-21Convert implied_outlives_bounds to a queryTyler Mandry-0/+1
2018-06-27pull out `ParamEnvAnd` and remove `QueryKey`Niko Matsakis-4/+4
2018-06-26transition to `Fallible`Niko Matsakis-0/+7
2018-06-26introduce `Normalizable` trait for things directly normalizableNiko Matsakis-0/+3
2018-06-26convert `prove_predicate` into a queryNiko Matsakis-0/+3
2018-06-26make `Subtype` a true queryNiko Matsakis-0/+3
2018-06-26make `Eq` a true queryNiko Matsakis-0/+3
2018-06-26move `type_op` into `rustc`Niko Matsakis-0/+1
2018-04-26Create a canonical trait query for `evaluate_obligation`Aravind Gollakota-0/+4
2018-03-13introduce `tcx.normalize_erasing_regions(..)` operaton [VIC]Niko Matsakis-0/+1
2018-03-13introduce `infcx.at(..).dropck_outlives(..)` operaton [VIC]Niko Matsakis-1/+4
2018-03-13introduce `infcx.at(..).normalize(..)` operation [VIC]Niko Matsakis-0/+31