ConstrainedType::shouldBeDefaultConstructible