Member predicate Types::TypeParameter::isDefaultConstructible

Holds if this type parameter has the new constraint.

predicate isDefaultConstructible()