pub fn flatten_answer_tree<I>(
interner: I,
predicate: TraitClause<I>,
cond: Condition<Region<I>, <I as Interner>::Ty>,
) -> ThinVec<<I as Interner>::Predicate>where
I: Interner,Expand description
Flatten the Condition tree into a conjunction of predicates.