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

Age	Commit message (Collapse)	Author	Lines
2020-02-16	Move librustc/{traits,infer} to librustc_infer.	Camille GILLOT	-15/+0

2020-02-05	Move traits::query datatypes to traits::types.	Camille GILLOT	-36/+1

2020-01-07	Move normalize_erasing_regions to rustc::ty.	Camille GILLOT	-1/+0

2019-12-22	Format the world	Mark Rousskov	-2/+1

2019-11-19	More HashStable.	Camille GILLOT	-3/+1

2019-10-21	Remove many unnecessary trait derivations.	Nicholas Nethercote	-1/+1

2019-02-05	move librustc to 2018	Mark Mansi	-3/+3

2018-12-25	Remove licenses	Mark Rousskov	-10/+0

2018-12-15	make autoderef steps a query	Ariel Ben-Yehuda	-0/+1

2018-10-24	introduce (but do not use) `ascribe_user_type` goal	Niko Matsakis	-0/+3
	Lots of annoying boilerplate.
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
	Backed by a canonicalized query. This computes all the types/regions that need to be live when the destructor runs (i.e., that the dtor may access).
2018-03-13	introduce `infcx.at(..).normalize(..)` operation [VIC]	Niko Matsakis	-0/+31
	It is backed by the new `normalize_projection_ty` query, which uses canonicalization.