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

Age	Commit message (Collapse)	Author	Lines
2018-03-29	Auto merge of #49313 - sgrif:sg-revert-stuff, r=nikomatsakis	bors	-1/+1
	Remove universes from `ty::ParamEnv` This change was never meant to land. #48407 takes an alternate approach. However, that PR is now blocked on some issues with canonicalization, and rebasing these reverts gets harder each time, so let's just get this bit out of the way now. r? @nikomatsakis
2018-03-23	Revert "add universes to type inference variables"	Sean Griffin	-1/+1
	This reverts commit 13efaf0481275dba18f1d18f4b59b664b2d2031a.
2018-03-23	import trait engine to typeck	csmoe	-1/+1

2018-03-21	work around fallout from these changes in rustc	Niko Matsakis	-6/+12

2018-03-14	Cache the specialization_graph query	Wesley Wiser	-0/+2
	Fixes #48987
2018-03-13	refactor `ParamEnv::empty(Reveal)` into two distinct methods	Niko Matsakis	-2/+2
	- `ParamEnv::empty()` -- does not reveal all, good for typeck - `ParamEnv::reveal_all()` -- does, good for trans - `param_env.with_reveal_all()` -- converts an existing parameter environment
2018-03-08	Add InterpretInterner to StableHashingContext for AllocId serialization	Oliver Schneider	-2/+2

2018-03-05	Turn features() into a query.	Michael Woerister	-1/+1

2018-03-02	Run Rustfix on librustc	Manish Goregaokar	-2/+2

2018-03-02	Replace Rc with Lrc for shared data	John Kåre Alsaker	-5/+5

2018-03-01	add universes to type inference variables	Niko Matsakis	-1/+1

2018-02-25	Make comment into a doc comment and change readme ref	Mark Mansi	-8/+10

2018-01-30	change `overlapping_impls` to take a tcx and create the infcx	Niko Matsakis	-33/+29

2018-01-30	make `overlapping_impls` call closures instead of returning	Niko Matsakis	-25/+26

2017-12-17	Use def span for conflicting impls and recursive fn	Esteban Küber	-4/+8

2017-12-05	convert the new conflicts to a soft error	Ariel Ben-Yehuda	-33/+74

2017-11-25	comments	Ariel Ben-Yehuda	-0/+11

2017-11-25	avoid type-live-for-region obligations on dummy nodes	Ariel Ben-Yehuda	-1/+1
	Type-live-for-region obligations on DUMMY_NODE_ID cause an ICE, and it turns out that in the few cases they are needed, these obligations are not needed anyway because they are verified elsewhere. Fixes #46069.
2017-10-23	Print the conflicting impl on E0119 with external crate.	kennytm	-2/+60

2017-10-06	Improve resolution of associated types in macros 2.0	Vadim Petrochenkov	-4/+7

2017-09-18	incr.comp.: Remove tcx from StableHashingContext.	Michael Woerister	-2/+2

2017-09-18	incr.comp.: Use StableHash impls instead of functions for hashing most maps.	Michael Woerister	-17/+4

2017-09-18	incr.comp.: Compute hashes of all query results.	Michael Woerister	-0/+34

2017-09-05	Print more detailed trait-ref for intercrate ambiguity.	Masaki Hara	-1/+1

2017-09-05	Unify intercrate ambiguity emitters into a function.	Masaki Hara	-11/+1

2017-09-05	Slightly modify hint messages.	Masaki Hara	-2/+2

2017-09-05	Add hints when intercrate ambiguity causes overlap.	Masaki Hara	-3/+20

2017-08-29	rustc: Remove `specailization_cache` in favor of a query	Alex Crichton	-15/+9
	This commit removes the `specialization_cache` field of `TyCtxt` by moving it to a dedicated query, which it turned out was already quite easily structured to do so!
2017-08-12	Fix some typos	Bastien Orivel	-2/+2

2017-08-11	Fix some typos	Bastien Orivel	-1/+1

2017-08-08	make `for_all_relevant_impls` O(1) again	Ariel Ben-Yehuda	-1/+2
	A change in #41911 had made `for_all_relevant_impls` do a linear scan over all impls, instead of using an HashMap. Use an HashMap again to avoid quadratic blowup when there is a large number of structs with impls. I think this fixes #43141 completely, but I want better measurements in order to be sure. As a perf patch, please don't roll this up.
2017-07-23	Fix some doc/comment typos.	Bruce Mitchener	-4/+4

2017-06-10	rustc: make the comon case of tcx.infer_ctxt(()) nicer.	Eduard-Mihai Burtescu	-3/+3

2017-06-01	ergonomic improvements to the methods in infcx	Niko Matsakis	-5/+2

2017-06-01	strip param-env from infcx	Niko Matsakis	-14/+24

2017-06-01	move projection mode into parameter environment	Niko Matsakis	-3/+3

2017-05-22	rename `parameter_environment` to `param_env`	Niko Matsakis	-2/+2

2017-05-15	Share lists of blanket impls in results of relevant_impls_for() query.	Michael Woerister	-1/+13

2017-05-15	Remove interior mutability from TraitDef by turning fields into queries.	Michael Woerister	-10/+65

2017-05-13	rustc: treat ReEarlyBound as free without replacing it with ReFree.	Eduard-Mihai Burtescu	-3/+1

2017-05-13	rustc: uniformly compute ParameterEnvironment's "free outlive scope".	Eduard-Mihai Burtescu	-3/+1

2017-04-30	remove ROOT_CODE_EXTENT and DUMMY_CODE_EXTENT	Niko Matsakis	-2/+1
	Instead, thread around `Option<CodeExtent>` where applicable.
2017-04-24	rustc: rename some of the queries to match tcx methods.	Eduard-Mihai Burtescu	-2/+2

2017-04-19	propagate other obligations that were left out	Niko Matsakis	-4/+3
	cc #32730 -- I left exactly one instance where I wasn't sure of the right behavior.
2017-04-15	rustc: ban registering obligations during InferCtxt snapshots.	Eduard-Mihai Burtescu	-1/+1

2017-04-14	Further update with response to feedback	Sean Griffin	-8/+2

2017-04-14	Implement RFC 1268	Sean Griffin	-0/+10
	This patch allows overlap to occur between any two impls of a trait for traits which have no associated items. Several compile-fail tests around coherence had to be changed to add at least one item to the trait they test against. Ref #29864
2017-03-18	resolve instances to ty::Instance directly	Ariel Ben-Yehuda	-13/+12
	This removes the duplication between collector, callee, and (eventually) MIRI.
2017-03-13	some style fixes	Tshepang Lekhonkhobe	-2/+2

2017-02-25	rustc_typeck: rework coherence to be almost completely on-demand.	Eduard-Mihai Burtescu	-2/+2