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

Age	Commit message (Expand)	Author	Lines
2018-11-29	Implement `AggregateOps`	scalexm	-2/+28
2018-11-29	Implement `ResolventOps`	scalexm	-29/+256
2018-11-29	Handle inference variables in `nll_relate` and use it for chalk	scalexm	-17/+132
2018-11-24	Fix `ChalkInferenceContext::into_hh_goal`	scalexm	-1/+4
2018-11-24	Implement some instantiate / canonical routines	scalexm	-52/+113
2018-11-24	Move `BoundTy` debruijn index to the `TyKind` enum variant	scalexm	-8/+11
2018-11-24	Introduce `TyKind::Placeholder` variant	scalexm	-0/+1
2018-11-13	Instantiate all bound vars existentially	scalexm	-4/+3
2018-11-13	Bypass ppaux for `Outlives` predicates	scalexm	-1/+1
2018-11-13	Provide program clauses for builtin types	scalexm	-0/+970