Lines Matching defs:constraint
194 if (auto *const constraint = typeParam->Constraint();
195 constraint != nullptr && constraint->IsETSTypeReference() &&
196 constraint->AsETSTypeReference()->Part()->Name()->IsIdentifier()) {
211 // The type parameter might be used in the constraint, like 'K extend Comparable<K>',
212 // so we need to create their type first, then set up the constraint
260 LogTypeError({"Type parameter '", param->Name()->Name().Utf8(), "' has circular constraint dependency."},
287 auto *const constraint = param->Constraint()->GetType(this);
289 if (!constraint->IsETSObjectType() && !constraint->IsETSTypeParameter() && !constraint->IsETSUnionType()) {
290 LogTypeError("Extends constraint must be an object", param->Constraint()->Start());
292 paramType->SetConstraintType(constraint);
299 // NOTE: #14993 ensure default matches constraint