Member predicate DerivedType::involvesReference

Holds if this type involves a reference.

predicate involvesReference()