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

Age	Commit message (Expand)	Author	Lines
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
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
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
2020-04-02	add `STILL_FURTHER_SPECIALIZABLE` flag	David Wood	-3/+13
2020-03-30	rustc -> rustc_middle part 1	Mazdak Farrokhzad	-0/+255