David Wood bf3ef26713

polymorphize: I used if T used in I: Foo<T> ...

This commit adjusts polymorphization's handling of predicates so that
after ensuring that `T` is used in `I: Foo<T>` if `I` is used, it now
ensures that `I` is used if `T` is used in `I: Foo<T>`. This is
necessary to mark generic parameters that only exist in impl parameters
as used - thereby avoiding symbol clashes when using the new mangling
scheme.

Signed-off-by: David Wood <david@davidtw.co>

2020-08-14 23:01:14 +01:00

..

collector.rs

mir: improve polymorphic constant bug

2020-07-22 15:36:22 +01:00

mod.rs

mir: unused_generic_params query

2020-07-20 19:35:30 +01:00

partitioning.rs

…

polymorphize.rs

polymorphize: I used if T used in I: Foo<T>

2020-08-14 23:01:14 +01:00