Member predicate TypeParameter::isDefaultConstructible

Holds if this type parameter has the new constraint.

predicate isDefaultConstructible()