Psalm项目中非空字面字符串与字面字符串的类型推断问题

在静态代码分析工具Psalm中，处理字符串类型推断时存在一个值得注意的行为。当开发者尝试将non-empty-literal-string(非空字面字符串)与literal-string(字面字符串)进行类型组合时，系统会错误地将结果推断为普通的string类型，而不是保留更精确的字面字符串类型信息。

问题现象

在代码中定义两个参数，分别标注为non-empty-literal-string和literal-string类型。当通过条件表达式随机选择其中一个参数赋值给变量时，Psalm会将结果类型简单地推断为string，而丢失了原有的字面字符串类型信息。

这种类型推断行为不够精确，因为无论选择哪个分支，结果都应该是某种形式的字面字符串。non-empty-literal-string是literal-string的子类型，因此它们的联合类型应该至少保持literal-string的特性。

技术背景

Psalm的类型系统通过TypeCombiner类来处理类型组合逻辑。这个类负责将多个类型合并为最简洁的表示形式，例如将true|false合并为bool类型，或者将non-empty-string|non-falsy-string合并为non-empty-string。

具体到字符串类型的处理，scrapeStringProperties方法会检查字符串的各种属性标志，如$has_only_numeric_strings或$has_only_non_empty_strings，以确定最终合并后的字符串类型应该保留哪些特性。

解决方案

修复此问题的关键在于修改类型组合逻辑，确保在处理字面字符串类型时能够正确保留类型信息。具体实现需要：

1. 识别输入类型中是否包含字面字符串
2. 在类型组合过程中保留字面字符串属性
3. 正确处理非空字面字符串与普通字面字符串的层级关系

通过调整类型组合算法，可以确保在类似情况下，结果类型能够正确反映输入类型的特性，为开发者提供更精确的静态分析结果。

重要性

精确的类型推断对于静态分析工具至关重要。保持字面字符串类型信息可以帮助Psalm：

1. 检测潜在的字符串操作错误
2. 优化性能分析
3. 提供更准确的代码补全建议
4. 增强类型安全检查能力

这个修复将提升Psalm在处理字符串类型时的精确度，使开发者能够更可靠地利用类型系统来保证代码质量。