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

Age	Commit message (Expand)	Author	Lines
2021-10-01	polymorphize: remove predicate logic	David Wood	-0/+5
2020-08-17	polymorphize: ∃ used param ∈ predicate → all used	David Wood	-0/+17
2020-08-14	polymorphize: `I` used if `T` used in `I: Foo<T>`	David Wood	-0/+48
2020-07-22	sess: disable polymorphisation	David Wood	-0/+1
2020-07-20	mir: use attribute over `-Z polymorphize-errors`	David Wood	-2/+4
2020-07-20	mir: `unused_generic_params` query	David Wood	-0/+21