False positive PhanImpossibleCondition in switch

[mokraemer]

Unused variable is emitted if a variable is assigned a value inside a switch/case without break:

class x{

	public static function f(int $x, $y): void{
		switch($x){
			case 1:
				$y = 2; //emits PhanUnusedVariable Unused definition of variable $y
//no break;
			case 2:
				echo $x . $y;
		}
	}

}

[mokraemer]

sorry, I don't understand why the code is formated this way in this editor; attaching php files is not supported either. Hope you can read it anyway.

[mokraemer]

btw you can combine it with

$y=0;
switch($x){
  case 1:
    $y=2;
//no break;
  case 2:
    echo ($y?:'-'); // emits PhanImpossibleCondition Impossible attempt to cast $y of type 0 to truthy

}

[TysonAndre]

The PhanImpossibleCondition is a new issue, the other issue is a duplicate of #1811

For future reference, use triple backticks, like so:

```php
php snippet/source code
```

[mokraemer]

thx, used the button from this editor....