On: Crystal 1.0 – What to expect

[dragonwriter]

Python typecheckers (both pyright and mypy, I believe) do this (isinstance checks and some other checks in conditionals narrow the type on the defended path.)