pub fn contains_adt_constructor(ty: Ty<'_>, adt: &AdtDef) -> bool
Expand description

Walks into ty and returns true if any inner type is an instance of the given adt constructor.