File src/Type/Generic/TemplateType.php

1:	<?php declare(strict_types = 1);
2:
3:	namespace PHPStan\Type\Generic;
4:
5:	use PHPStan\Type\CompoundType;
6:	use PHPStan\Type\IsSuperTypeOfResult;
7:	use PHPStan\Type\Type;
8:
9:	/**
10:	* @api
11:	* @api-do-not-implement
12:	*/
13:	interface TemplateType extends CompoundType
14:	{
15:
16:	/** @return non-empty-string */
17:	public function getName(): string;
18:
19:	public function getScope(): TemplateTypeScope;
20:
21:	public function getBound(): Type;
22:
23:	public function getDefault(): ?Type;
24:
25:	public function toArgument(): TemplateType;
26:
27:	public function isArgument(): bool;
28:
29:	public function isValidVariance(Type $a, Type $b): IsSuperTypeOfResult;
30:
31:	public function getVariance(): TemplateTypeVariance;
32:
33:	public function getStrategy(): TemplateTypeStrategy;
34:
35:	}
36: