vimeo/psalm

implode(<string>, non-empty-list<string>) doesn't always result in non-empty-string

开放

#6,866 创建于 2021年11月8日

在 GitHub 查看贡献者指南
 (5 条评论) (0 个反应) (0 位负责人)PHP (668 个派生)batch import
Help wantedbugeasy problemsgood first issueinternal stubs/callmap

仓库指标

星标
 (5,369 个星标)
PR 合并指标
 (PR 指标待抓取)

描述

https://psalm.dev/r/9b7a45c338

The weird edge case of implode('asdf', ['']); can result in an empty string. Similarly if the first argument is an empty string then an array of any amount of empty strings will also produce an empty string

贡献者指南

研究方向
调查Psalm如何处理implode的返回类型，特别是当使用非空分隔符且数组包含空字符串时返回空字符串的边缘情况。检查类型推断逻辑并使用提供的示例进行测试。
技术栈
php
领域
tooling
议题类型
缺陷
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
2
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
1-3 小时
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
活跃
清晰度议题是否清楚说明期望改动、验收标准和下一步。
清晰
前置要求
PHPPsalm
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
70