通用类型不能与值类型结合

Bug 报告 我正在尝试实现一个函数,无论是作为类的一部分还是单独存在,该函数接受一个字符串参数,该参数与某个常量的值匹配。问题是,我想让包含该常量的类成为某个基类的泛型。 我非常确定,根据我在文档中阅读的所有内容以及逻辑上可用的信息,这应该能够正常工作。 ### 可重现问题的代码片段 https://phpstan.org/r/0ee652c0-a80a-401d-a696-51c90b8a4511 ### 预期输出 value-of<TemplateType::CONST_ARRAY> 不可解析。 ### PHPStan 今天是否帮助了你? 它是否以某种方式让你感到高兴? 我上周开始在我们的应用中添加 PHPStan,在继续提高级别的过程中发现了大约十个错误。 我已经到达 6 了,我认为目前我基本上已经完成了。 繁琐但我觉得值得。