Add test

Author: VincentLanglet

tests/PHPStan/Analyser/nsrt/bug-12244.php

@@ -20,13 +20,25 @@ public function doSomething(): void {
 		if ($this !== self::A) {
 			assertType('$this(Bug12244\X~Bug12244\X::A)', $this);
 			assertType('null', $this->get());
+		} else {
+			assertType('int', $this->get());
+		}
+
+		if ($this !== self::B && $this !== self::C) {
+			assertType('int', $this->get());
 		}
 	}
 
 	public static function doSomethingFor(X $x): void {
 		if ($x !== self::A) {
 			assertType('Bug12244\X~Bug12244\X::A', $x);
 			assertType('null', $x->get());
+		} else {
+			assertType('int', $x->get());
+		}
+
+		if ($x !== self::B && $x !== self::C) {
+			assertType('int', $x->get());
 		}
 	}
 }