Describe the Bug

Incorrect unreachable return error in the following function. May be related to #2020, but not sure

def fun1():
    for i in range(2):
        with suppress(ZeroDivisionError):  
            x = i/0
            return x
    return 1.0 # marked unreachable

Sandbox Link

https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeSIAxAAQDqMUAxrgLYzUAuunAFuwAqkATjDBRS1AMoYcBADS8IcakuqpqxVAHMYAHXQ0A7nxHVSuAK7VGGaoaEQOMBXB6pTM6rHfo1eCxycpMQQ6FoqvoIcPLjohPqUCdQAEjAeHtaWxLDUYDCoHBYiyrhgispoWHj4iEkAtNQA4jCBIqhQdRwQbEHE7Ix8jADWoeF5MDiow-XUAKpw7CIAbvlQAPocwTAAFACUnNyhcH2MgaF5QiKYvfAzMPh9DmzogYaOPLzsAJIAIgCiuXyhWKvAKdnYcAsxGIuCEgW2MEIWkIagCuGYLGyLWc1C0uE6%2BMwolCjggsQUMRWQgULUYuxmtAcTjUWGoQgskVI0VimSJ1EwEBEp3EETMliE1GwQlwhgWQn0%2BjA0pYmRe9w4UAg2BUmNhgUh0OKcAVWFEuQ5AEY9rVfNQ7WBYSpRUIMDptgAmXY2u0%2Bn1vaLUA3EI3bABaaVwPwgSyUZPQf0usK9dv0vrTPvw1AAvCoAPQABlT6bTImBvnwRbtpaKvgthEL6H0RLKYA57utlbs70DUOD8DgYYjUZjcDjCelQmT1E7vurQlrBc7c9r9ZNEDKazW6FQbE32ZzuhAm5YqFCm8P3p9wdCHG2rfQVt2uxAchAAWgcBI5EQVDmXU1mzmugpxxsajami2sInhwW4WCw2BpNsNQRBw%2Bx1AAfIGHBCJeVYtDWuSHgAcnBCE4dQwD4AAvoe%2BgviAZAiGIpCEFwLBQBQNCCExIqVLImbMOgkBaEUBRxvEBhSDA7A8BwHDEHAiC5rmjGiOIhCwlouYwOguaYOicC5oJwmiV0sS5rkjqoEsp5QKg2A5MZEAiS6Zm%2BLgxBuZ%2B%2BhkNy6B1FSo48geIAAMyEBa7q0egIBUa%2BUxdCsABi0AwBQfHVF%2BsVAA

(Only applicable for extension issues) IDE Information

No response