1: <?php declare(strict_types = 1);
2:
3: namespace PHPStan\Type\Generic;
4:
5: use PHPStan\Type\ObjectShapeType;
6: use PHPStan\Type\Traits\UndecidedComparisonCompoundTypeTrait;
7: use PHPStan\Type\Type;
8:
9: /** @api */
10: final class TemplateObjectShapeType extends ObjectShapeType implements TemplateType
11: {
12:
13: /** @use TemplateTypeTrait<ObjectShapeType> */
14: use TemplateTypeTrait;
15: use UndecidedComparisonCompoundTypeTrait;
16:
17: /**
18: * @param non-empty-string $name
19: */
20: public function __construct(
21: TemplateTypeScope $scope,
22: TemplateTypeStrategy $templateTypeStrategy,
23: TemplateTypeVariance $templateTypeVariance,
24: string $name,
25: ObjectShapeType $bound,
26: ?Type $default,
27: )
28: {
29: parent::__construct($bound->getProperties(), $bound->getOptionalProperties());
30: $this->scope = $scope;
31: $this->strategy = $templateTypeStrategy;
32: $this->variance = $templateTypeVariance;
33: $this->name = $name;
34: $this->bound = $bound;
35: $this->default = $default;
36: }
37:
38: protected function shouldGeneralizeInferredType(): bool
39: {
40: return false;
41: }
42:
43: }
44: