@@ -16,6 +16,7 @@ public function __construct(?ConstExprParser $constExprParser = null)
 $this->constExprParser = $constExprParser;
 }
 
+/** @phpstan-impure */
 public function parse(TokenIterator $tokens): Ast\Type\TypeNode
 {
 if ($tokens->isCurrentTokenType(Lexer::TOKEN_NULLABLE)) {
@@ -36,6 +37,7 @@ public function parse(TokenIterator $tokens): Ast\Type\TypeNode
 }
 
 
+/** @phpstan-impure */
 private function parseAtomic(TokenIterator $tokens): Ast\Type\TypeNode
 {
 if ($tokens->tryConsumeTokenType(Lexer::TOKEN_OPEN_PARENTHESES)) {
@@ -126,6 +128,7 @@ private function parseAtomic(TokenIterator $tokens): Ast\Type\TypeNode
 }
 
 
+/** @phpstan-impure */
 private function parseUnion(TokenIterator $tokens, Ast\Type\TypeNode $type): Ast\Type\TypeNode
 {
 $types = [$type];
@@ -138,6 +141,7 @@ private function parseUnion(TokenIterator $tokens, Ast\Type\TypeNode $type): Ast
 }
 
 
+/** @phpstan-impure */
 private function parseIntersection(TokenIterator $tokens, Ast\Type\TypeNode $type): Ast\Type\TypeNode
 {
 $types = [$type];
@@ -150,6 +154,7 @@ private function parseIntersection(TokenIterator $tokens, Ast\Type\TypeNode $typ
 }
 
 
+/** @phpstan-impure */
 private function parseNullable(TokenIterator $tokens): Ast\Type\TypeNode
 {
 $tokens->consumeTokenType(Lexer::TOKEN_NULLABLE);
@@ -171,6 +176,7 @@ private function parseNullable(TokenIterator $tokens): Ast\Type\TypeNode
 return new Ast\Type\NullableTypeNode($type);
 }
 
+/** @phpstan-impure */
 public function isHtml(TokenIterator $tokens): bool
 {
 $tokens->consumeTokenType(Lexer::TOKEN_OPEN_ANGLE_BRACKET);
@@ -201,6 +207,7 @@ public function isHtml(TokenIterator $tokens): bool
 return false;
 }
 
+/** @phpstan-impure */
 public function parseGeneric(TokenIterator $tokens, Ast\Type\IdentifierTypeNode $baseType): Ast\Type\GenericTypeNode
 {
 $tokens->consumeTokenType(Lexer::TOKEN_OPEN_ANGLE_BRACKET);
@@ -226,6 +233,7 @@ public function parseGeneric(TokenIterator $tokens, Ast\Type\IdentifierTypeNode
 }
 
 
+/** @phpstan-impure */
 private function parseCallable(TokenIterator $tokens, Ast\Type\IdentifierTypeNode $identifier): Ast\Type\TypeNode
 {
 $tokens->consumeTokenType(Lexer::TOKEN_OPEN_PARENTHESES);
@@ -246,6 +254,7 @@ private function parseCallable(TokenIterator $tokens, Ast\Type\IdentifierTypeNod
 }
 
 
+/** @phpstan-impure */
 private function parseCallableParameter(TokenIterator $tokens): Ast\Type\CallableTypeParameterNode
 {
 $type = $this->parse($tokens);
@@ -265,6 +274,7 @@ private function parseCallableParameter(TokenIterator $tokens): Ast\Type\Callabl
 }
 
 
+/** @phpstan-impure */
 private function parseCallableReturnType(TokenIterator $tokens): Ast\Type\TypeNode
 {
 if ($tokens->isCurrentTokenType(Lexer::TOKEN_NULLABLE)) {
@@ -294,6 +304,7 @@ private function parseCallableReturnType(TokenIterator $tokens): Ast\Type\TypeNo
 }
 
 
+/** @phpstan-impure */
 private function tryParseCallable(TokenIterator $tokens, Ast\Type\IdentifierTypeNode $identifier): Ast\Type\TypeNode
 {
 try {
@@ -310,6 +321,7 @@ private function tryParseCallable(TokenIterator $tokens, Ast\Type\IdentifierType
 }
 
 
+/** @phpstan-impure */
 private function tryParseArray(TokenIterator $tokens, Ast\Type\TypeNode $type): Ast\Type\TypeNode
 {
 try {
@@ -329,6 +341,7 @@ private function tryParseArray(TokenIterator $tokens, Ast\Type\TypeNode $type):
 }
 
 
+/** @phpstan-impure */
 private function parseArrayShape(TokenIterator $tokens, Ast\Type\TypeNode $type): Ast\Type\ArrayShapeNode
 {
 $tokens->consumeTokenType(Lexer::TOKEN_OPEN_CURLY_BRACKET);
@@ -354,6 +367,7 @@ private function parseArrayShape(TokenIterator $tokens, Ast\Type\TypeNode $type)
 }
 
 
+/** @phpstan-impure */
 private function parseArrayShapeItem(TokenIterator $tokens): Ast\Type\ArrayShapeItemNode
 {
 try {
@@ -374,6 +388,7 @@ private function parseArrayShapeItem(TokenIterator $tokens): Ast\Type\ArrayShape
 }
 
 /**
+* @phpstan-impure
 * @return Ast\ConstExpr\ConstExprIntegerNode|Ast\ConstExpr\ConstExprStringNode|Ast\Type\IdentifierTypeNode
 */
 private function parseArrayShapeKey(TokenIterator $tokens)