fix reportInvalidCast false positive when casting to/from None and type#579
Merged
DetachHead merged 2 commits intomainfrom fix-overlapping-cast-noneAug 15, 2024
+20-11
reportInvalidCast false positive when casting to/from None and type#579