vimeo/psalm

TypeDoesNotContainType - 5:4 - Cannot resolve types for $str2 - non-empty-lowercase-string does not contain non-falsy-string

Open

#9,733 opened on 2023年5月3日

GitHub で見る
 (2 comments) (0 reactions) (0 assignees)PHP (668 forks)batch import
Help wantedbugeasy problems

Repository metrics

Stars
 (5,369 stars)
PR merge metrics
 (平均マージ 3d 12h) (30d で 5 merged PRs)

説明

In the following example https://psalm.dev/r/95834da943 I expect to see no errors. A non-falsy-string should be comparable to lowercase-string.

コントリビューターガイド

調査方針
提供されたPsalm playgroundリンクを使用して問題を再現します。Psalmの型推論システムにおける型解決ロジック、特にnon falsy stringとnon empty lowercase stringの比較方法を追跡します。型包含チェックを処理する関連コードを確認してください。
技術スタック
php
領域
tooling
Issue 種別
バグ
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
3
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
1-3時間
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
アクティブ
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
明確
前提条件
PHP
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
40