PHPStan类型声明严格度调整与is_array判断的异常报错咨询

场景1：注解为array<array<mixed>>且保留is_array($bar) #

array<array<mixed>>明确声明$bar是二维数组——外层数组的每个元素都是数组。此时$bar['a']的类型是array<mixed>（内层数组，元素为任意类型），因此$bar['a']['b']的类型是mixed。PHPStan level 9会严格校验：mixed类型的值可能不是数组，无法安全访问['c']偏移量，所以触发「Cannot access offset 'c' on mixed」报错，这符合预期。

这里的is_array($bar)属于冗余判断（类型注解已经保证$bar是数组），不会干扰PHPStan对内层元素的类型推断。

场景2：注解改为array<mixed>且保留is_array($bar) #

array<mixed>表示$bar是一维数组，元素可以是任意类型（包括非数组）。此时添加的is_array($bar)运行时判断会触发PHPStan的特殊类型推断逻辑：

• 尽管类型注解已经明确$bar是数组，但is_array($bar)的存在会让PHPStan认为你在兼容「$bar可能不是数组」的场景（哪怕类型注解否定了这一点）。
• 为了适配这种冗余但存在的运行时检查，PHPStan会临时放松对$bar内层元素的类型校验：它默认你在这个分支里已经确保了$bar['a']['b']是数组（尽管代码里没写对应检查），因此不再触发报错。

场景3：移除is_array($bar)（注解为array<mixed>） #

此时没有冗余的运行时检查，PHPStan会严格遵循array<mixed>的类型注解推断：$bar['a']是mixed类型，访问['b']时直接触发「Cannot access offset 'b' on mixed」报错，这符合预期。

内容的提问来源于stack exchange，提问作者user_51