File src/Type/Generic/TemplateObjectType.php

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