[v1.5 regression] Negative issubclass narrowing widens Never to object
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 49/100
- Tipo di issue
- Bug
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Attiva
- Ambito
- developer-experience, testing-qa
Direzione di ricerca
Start by reproducing the regression with the Python snippet in the issue using its sandbox link, then trace how negative issubclass checks narrow Never in Pyrefly’s type checker. The issue names no source files or tests, so locate the narrowing logic and add a regression test for the example. Done means the second issubclass call no longer reports that object is not assignable to type.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Describe the Bug
Only adds 4 diagnostics across 2 projects, but this is a bizarre false positive:
from typing import Never
def f(x: Never) -> None:
if issubclass(x, dict):
return
issubclass(x, set) # object is not assignable to type
Sandbox Link
(Only applicable for extension issues) IDE Information
No response
- Lingua principale
- Rust
- Stelle
- 7.2k
- Fork
- 578
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
- Nessun Dockerfile né file Docker Compose
- Ha un modello di pull request
- Leggi la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di facebook/pyrefly
-
typechecking
Difficoltà 3/5 1-2 giorni Idoneità per principianti 56/100
-
pytorch typechecking
Difficoltà 3/5 1-2 giorni Idoneità per principianti 56/100
-
typechecking
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
-
typechecking
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
-
pydantic typechecking
Difficoltà 3/5 1-2 giorni Idoneità per principianti 58/100
Tutte le issue di facebook/pyrefly
Issue simili
-
rust_analyzer flycheck: no CLI way to enable clippy from `check.overrideCommand`Forse già presa @TrapsterDK l’ha presa oggi. Apertaneeds-triage
Difficoltà 2/5 1-3 ore Idoneità per principianti 77/100
bazelbuild/rules_rust#4392 ·
I maintainer di solito rispondono entro 2 giorni
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 73/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
I maintainer di solito rispondono entro 1 giorno
-
🐞 bug 🧩 bevy_gantz_egui
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
nannou-org/gantz#500 ·
I maintainer di solito rispondono entro 1 giorno
-
[Feature]: Fedora 45 repoApertaenhancement
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
metasequoiaime/msime#10989 ·
I maintainer di solito rispondono entro 1 giorno