I think the routine we need is to invoke `mk_sub_trait_refs` or some variation thereof. We'll need to apply the substitution of "trait params -> impl params" so as to bring the two sets of bounds into the same namespace. Ping me on IRC if this is too curt of an explanation.