Predicate ThrowInDestructor::bindThrownType

predicate bindThrownType(ThrowExpr te, Type thrown)