Predicate ThrowInDestructor::bindStrippedReferenceType

predicate bindStrippedReferenceType(Type qualified, Type unqualified)