always promote literals when resolving comprehensions#2567

Open

yangdanny97 wants to merge 3 commits intofacebook:mainfrom

yangdanny97:export-D94534921

Commits on Feb 26, 2026

fix infer x: T if x.__class__: type[T] #1163 (#2475)

asukaminato0721
authored and
meta-codesync[bot]
committed
negative refinement for type(X) != Y, X.__class__ != Y when Y is final (#2566)

yangdanny97
authored and
meta-codesync[bot]
committed
always promote literals when resolving comprehensions

yangdanny97
authored and
meta-codesync[bot]
committed