Function trait_predicate_with_def_id

Source
fn trait_predicate_with_def_id<I: Interner>(
    cx: I,
    clause: Binder<I, TraitPredicate<I>>,
    did: I::DefId,
) -> I::Clause
Expand description

Small helper function to change the def_id of a trait predicate - this is not normally something that you want to do, as different traits will require different args and so making it easy to change the trait is something of a footgun, but it is useful in the narrow circumstance of changing from MetaSized to Sized, which happens as part of the lazy elaboration of sizedness candidates.