rust - https://github.com/rust-lang/rust

Age	Commit message (Expand)	Author	Lines
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