search

pschanely / CrossHair

An analysis tool for Python that blurs the line between testing and type systems.
Other
1.03k stars 49 forks source link

Ensure all isinstance checks account for undecided types #237

Open pschanely opened 10 months ago

pschanely commented 10 months ago

Internal to CrossHair, all isinstance checks when guarded by NoTracing should invoke typeable_value beforehand.

235 is one example of this kind of issue, but there are likely many more.

We should performa full review of these cases and make adjustments as necessary.