Expand description
Rust doesn’t require bounds on type aliases to be well-formed. When a type alias mentions
<T as Trait>::Assoc without a corresponding T: Trait clause, translation leaves an unknown
trait ref. This pass tries to add these missing clauses.