Static analysis of "is"

Returning now to the subject we started discussing last time on FAIC: sometimes the compiler can know via static analysis1 that an is operator expression is guaranteed to produce a particular result.
Continue reading

  1. That is, analysis done knowing only the compile-time types of expressions, rather than knowing their possibly more specific run-time types