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

Age	Commit message (Collapse)	Author	Lines
2020-08-30	mv compiler to compiler/	mark	-330/+0

2020-08-09	instance: only polymorphize upvar substs	David Wood	-6/+0
	This commit restricts the substitution polymorphization added in #75255 to only apply to the tupled upvar substitution, rather than all substitutions, fixing a bunch of regressions when polymorphization is enabled. Signed-off-by: David Wood <david@davidtw.co>
2020-08-07	instance: polymorphize `FnDef` substs	David Wood	-0/+2
	This commit extends previous polymorphization of substs to polymorphize `FnDef`. Signed-off-by: David Wood <david@davidtw.co>
2020-08-07	ty: add `MAY_POLYMORPHIZE` flag	David Wood	-0/+4
	This commit adds a `MAY_POLYMORPHIZE` which checks for closures and generators so that polymorphization of substs does not need to traverse every substs. Signed-off-by: David Wood <david@davidtw.co>
2020-07-27	directly contain `PredicateAtom` in `PredicateKind::ForAll`	Bastian Kauschke	-41/+40

2020-07-27	introduce PredicateAtom	Bastian Kauschke	-33/+35

2020-07-27	add reuse_or_mk_predicate	Bastian Kauschke	-2/+2

2020-07-27	`PredicateKint` -> `PredicateKind`, the beginning of the end	Bastian Kauschke	-32/+25

2020-07-20	ty: `STILL_FURTHER_SPECIALIZABLE` w/out prnt subst	David Wood	-2/+24
	This commit modifies the `STILL_FURTHER_SPECIALIZABLE` flag so that the flag isn't set by the parent substs of closures or generators. Signed-off-by: David Wood <david@davidtw.co>
2020-06-30	change `skip_binder` to use T by value	Bastian Kauschke	-6/+6

2020-06-21	Cache flags and escaping vars for predicates	Matthew Jasper	-9/+73
	Also hash predicates by address
2020-06-20	Don't set STILL_FURTHER_SPECIALIZABLE for regions/bound variables	Matthew Jasper	-2/+0

2020-06-15	make all uses of ty::Error or ConstKind::Error delay a span bug	mark	-2/+2

2020-05-23	iterate List by value	Bastian Kauschke	-1/+1

2020-05-12	Remove ty::UnnormalizedProjection	Jack Huey	-5/+0

2020-04-16	ty: add `ty::ConstKind::Error` to replace `tcx.consts.err`.	Eduard-Mihai Burtescu	-8/+2

2020-04-08	replace `has_local_value` with `needs_infer`	Bastian Kauschke	-6/+2

2020-04-08	don't set `HAS_INFER` for fresh types	Bastian Kauschke	-3/+5

2020-04-07	Remove unnecessary TypeFlags::NOMINAL_FLAGS	Theo Sandstrom	-1/+1
	This was a relic from when we had "nominal flags" and "cached properties." The latter no longer exists, so nominal flags are no longer necessary. In fact, every flag is considered a nominal flag. I went ahead and removed all references to NOMINAL_FLAGS. Fixes rust-lang#70836
2020-04-02	add `STILL_FURTHER_SPECIALIZABLE` flag	David Wood	-3/+13
	This commit adds a STILL_FURTHER_SPECIALIZABLE flag to `TypeFlags` which replaces `needs_infer` and `needs_subst` in `Instance::resolve` and `assemble_candidates_from_impls.` Signed-off-by: David Wood <david@davidtw.co>
2020-03-30	rustc -> rustc_middle part 1	Mazdak Farrokhzad	-0/+255