### Describe the Bug Minimal repro: ```python def find_match(items: list[int], target: int) -> int: i = 0 while i < len(items): if items[i] == target: return i i += 1 else: return -1 # FP: missing explicit return ``` ### Sandbox Link https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeSImMYABJFgPoC2qALgMYAWAFBKzEziIaUCHFYBtCOlYBdADQ1WqAE4BzGK2HTWAShoBaAHw0diADroa10zQC8NAAyWbNAO6doMWwB4RMdF5%2BQV0LK1cbCFo%2BATgpWXsHZXVNMIj0mhVNAFcVKwgXDIgaAGoHAEZC6xgoOBg0jKzWXKsDcusAYhoAMQAFYSYxOGk1Ghh8YlF2PkycvJB5EDIssChSQlZcJigKLt7SFbWaNCw8fBp2XHRINVy2CCvCSy6AZRhvTlZWYiEAel-ltQ1oRcOpfgFfphcOw4L9LtcILcVPcrr86KCaKgAG6oaCobCwC5XG53VgPKy4Yhkq5wJ7oMisThXAxYmAqYZXew0cwgADMhHKACYeZYJGyVKC4LJLNl0BAmMRQfxMAZMBAsuwyayuQByRHoUEwHWWA2sAxZACO2XVMBVAGsYKQDKh2Ox4HBdW5VOhjegQABfRYurUwbpeCgnHAEEjkf1AA ### (Only applicable for extension issues) IDE Information _No response_
Describe the Bug
Minimal repro:
Sandbox Link
https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeSImMYABJFgPoC2qALgMYAWAFBKzEziIaUCHFYBtCOlYBdADQ1WqAE4BzGK2HTWAShoBaAHw0diADroa10zQC8NAAyWbNAO6doMWwB4RMdF5%2BQV0LK1cbCFo%2BATgpWXsHZXVNMIj0mhVNAFcVKwgXDIgaAGoHAEZC6xgoOBg0jKzWXKsDcusAYhoAMQAFYSYxOGk1Ghh8YlF2PkycvJB5EDIssChSQlZcJigKLt7SFbWaNCw8fBp2XHRINVy2CCvCSy6AZRhvTlZWYiEAel-ltQ1oRcOpfgFfphcOw4L9LtcILcVPcrr86KCaKgAG6oaCobCwC5XG53VgPKy4Yhkq5wJ7oMisThXAxYmAqYZXew0cwgADMhHKACYeZYJGyVKC4LJLNl0BAmMRQfxMAZMBAsuwyayuQByRHoUEwHWWA2sAxZACO2XVMBVAGsYKQDKh2Ox4HBdW5VOhjegQABfRYurUwbpeCgnHAEEjkf1AA
(Only applicable for extension issues) IDE Information
No response