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

Age	Commit message (Collapse)	Author	Lines
2019-02-26	replace &'tcx Substs with SubstsRef	csmoe	-4/+4

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

2019-01-04	Revert "add coherence future-compat warnings for marker-only trait objects"	Ariel Ben-Yehuda	-4/+0
	This reverts commit 760639635facb6c9a0926ac9278bcba71880b0b3.
2018-12-25	Remove licenses	Mark Rousskov	-10/+0

2018-12-14	add coherence future-compat warnings for marker-only trait objects	Ariel Ben-Yehuda	-0/+4
	The future-compat warnings break code that assumes that `dyn Send + Sync != dyn Sync + Send`, and are the first step in making them equal. cc #33140. It should be possible to revert this commit when we're done with the warnings.
2018-12-07	Various minor/cosmetic improvements to code	Alexander Regueiro	-2/+2

2018-10-22	Fix Rustdoc ICE when checking blanket impls	Aaron Hill	-0/+3
	Fixes #55001, #54744 Previously, SelectionContext would unconditionally cache the selection result for an obligation. This worked fine for most users of SelectionContext, but it caused an issue when used by Rustdoc's blanket impl finder. The issue occured when SelectionContext chose a ParamCandidate which contained inference variables. Since inference variables can change between calls to select(), it's not safe to cache the selection result - the chosen candidate might not be applicable for future results, leading to an ICE when we try to run confirmation. This commit prevents SelectionContext from caching any ParamCandidate that contains inference variables. This should always be completely safe, as trait selection should never depend on a particular result being cached. I've also added some extra debug!() statements, which I found helpful in tracking down this bug.
2018-09-29	rustc/infer: readability improvements	ljedrz	-4/+2

2018-08-22	Remove Ty prefix from ↵	varkor	-3/+3
	Ty{Adt\|Array\|Slice\|RawPtr\|Ref\|FnDef\|FnPtr\|Dynamic\|Closure\|Generator\|GeneratorWitness\|Never\|Tuple\|Projection\|Anon\|Infer\|Error}
2017-11-16	make the `region_constraints` field an `Option`	Niko Matsakis	-1/+2
	This way, we can `take()` ownership of it when we are going to resolve regions.
2017-11-16	infer: rename `region_vars` field to `region_constraints`	Niko Matsakis	-1/+1

2017-11-16	move refcells out from `RegionVarBindings` and up into `InferCtxt`	Niko Matsakis	-1/+1

2017-05-11	do not fetch variance for items when equating	Niko Matsakis	-1/+20
	Fixes #41849. Problem was that evaluating the constant expression required evaluating a trait, which would equate types, which would request variance information, which it would then discard. However, computing the variance information would require determining the type of a field, which would evaluate the constant expression. (This problem will potentially arise later as we move to more sophisticated constants, however, where we need to check subtyping. We can tackle that when we come to it.)
2017-04-30	intern CodeExtents	Niko Matsakis	-2/+2
	Make a `CodeExtent<'tcx>` be something allocated in an arena instead of an index into the `RegionMaps`.
2017-04-11	remove the subtyping relations from TypeVariable	Niko Matsakis	-5/+4

2016-08-27	rustc: pass ty::Region behind an interned 'tcx reference.	Eduard Burtescu	-1/+2

2016-07-25	Tidy up	Masood Malekghassemi	-2/+6

2016-07-25	Use &mut for CombineFields in inference relations	Masood Malekghassemi	-10/+5

2016-07-25	Move `a_is_expected` out of `CombineFields`	Masood Malekghassemi	-8/+9

2016-07-25	Rename infcx lifetimes in inference relations	Masood Malekghassemi	-6/+6

2016-05-11	rustc: Generalize a minimum set of functions over 'tcx != 'gcx.	Eduard Burtescu	-11/+10

2016-05-11	rustc: Split 'tcx into 'gcx and 'tcx for InferCtxt and its users.	Eduard Burtescu	-6/+6

2016-05-11	rustc: Replace &'a TyCtxt<'tcx> with a TyCtxt<'a, 'tcx> wrapper.	Eduard Burtescu	-1/+1

2016-05-11	rustc: Avoid free functions taking &TyCtxt and &InferCtxt.	Eduard Burtescu	-2/+2

2016-03-29	Plumb obligations through librustc/infer	Masood Malekghassemi	-0/+5

2016-03-27	rustc: move cfg, infer, traits and ty from middle to top-level.	Eduard Burtescu	-0/+95