```php function foo(string $s) : void { $a = [ 'b' => ['c' => false], 'c' => ['c' => true], 'd' => ['e' => true] ]; if (isset($a[$s]['c'])) {} // this should definitely be fine } ``` Expected: no issue Actual: [Offset 'c' does not exist on array('c' => bool)|array('e' => true).](https://phpstan.org/r/61ca16b5207c048ed97efd4e57763b66)