Function const_conditions_for_destruct

Source
pub(in solve) fn const_conditions_for_destruct<I: Interner>(
    cx: I,
    self_ty: I::Ty,
) -> Result<Vec<TraitRef<I>>, NoSolution>