A string after strlen > 0 check should be a non-empty-string

仓库指标

Star

5,369 star (5,369 star)

PR 合并指标

平均合并 3天 12小时 (平均合并 3天 12小时)30 天内合并 5 个 PR (30 天内合并 5 个 PR)

描述

贡献者指南

研究方向

研究 Psalm 目前如何处理在 strlen > 0 条件之后的字符串类型。示例 https://psalm.dev/r/ca291dd273 显示类型保持为 string 而非被收窄为 non empty string。探索 Psalm 的类型收窄逻辑，可能位于分析器或类型系统代码中。查阅问题评论中先前的讨论，以了解预期行为和潜在解决方案。

技术栈

php

领域

tooling

议题类型

缺陷

难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。

2

预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。

1-3 小时

活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。

活跃

清晰度议题是否清楚说明期望改动、验收标准和下一步。

清晰

前置要求

PHPGit

新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。

75