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

Age	Commit message (Expand)	Author	Lines
2018-06-26	introduce `Normalizable` trait for things directly normalizable	Niko Matsakis	-1/+31
2018-06-26	convert `prove_predicate` into a query	Niko Matsakis	-1/+7
2018-06-26	make `Subtype` a true query	Niko Matsakis	-0/+7
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/+801