final | |
---|---|
extends |
KeyOfType |
implements |
TemplateType |
uses |
TemplateTypeTrait, UndecidedComparisonCompoundTypeTrait |
Methods | ||
---|---|---|
public
|
__construct(
TemplateTypeScope $scope,
TemplateTypeStrategy $templateTypeStrategy,
TemplateTypeVariance $templateTypeVariance,
non-empty-string $name,
KeyOfType $bound,
?Type $default,
)
|
# |
protected
|
getResult(): Type
|
# |
protected
|
shouldGeneralizeInferredType(): bool
|
# |