drop support for complement type

Author: JanTvrdik

doc/grammer.ebnf

@@ -1,16 +1,12 @@
 Type
   ::= Atomic (Union | Intersection)?
-    | Complement
 
 Union
   ::= ('|' Atomic)+
 
 Intersection
   ::= ('&' Atomic)+
 
-Complement
-  ::= '~' Atomic
-
 Atomic
   ::= Identifier (Generic | Array)?
     | '(' Type ')' Array?

doc/grammer.peg

@@ -1,16 +1,12 @@
 Type
   = Atomic (Union / Intersection)?
-  / Complement
 
 Union
   = ('|' Atomic)+
 
 Intersection
   = ('&' Atomic)+
 
-Complement
-  = '~' Atomic
-
 Atomic
   = Identifier (Generic / Array)?
   / '(' Type ')' Array?

src/Ast/ComplementNode.php

@@ -67,18 +67,13 @@ private function tearDown(): void
 
 	private function parseType(): Ast\Node
 	{
-		if ($this->tokenType === Lexer::TOKEN_COMPLEMENT) {
-			$type = $this->parseComplement();
+		$type = $this->parseAtomic();
 
-		} else {
-			$type = $this->parseAtomic();
-
-			if ($this->tokenType === Lexer::TOKEN_UNION) {
-				$type = $this->parseUnion($type);
+		if ($this->tokenType === Lexer::TOKEN_UNION) {
+			$type = $this->parseUnion($type);
 
-			} elseif ($this->tokenType === Lexer::TOKEN_INTERSECTION) {
-				$type = $this->parseIntersection($type);
-			}
+		} elseif ($this->tokenType === Lexer::TOKEN_INTERSECTION) {
+			$type = $this->parseIntersection($type);
 		}
 
 		return $type;
@@ -140,13 +135,6 @@ private function parseIntersection(Ast\Node $type): Ast\Node
 	}
 
 
-	private function parseComplement(): Ast\Node
-	{
-		$this->consume(Lexer::TOKEN_COMPLEMENT);
-		return new Ast\ComplementNode($this->parseAtomic());
-	}
-
-
 	private function parseGeneric(Ast\SimpleNode $baseType): Ast\Node
 	{
 		$this->consume(Lexer::TOKEN_OPEN_ANGLE_BRACKET);