the other major downside is that it would break `i...

# strikt

[robfletcher]

the other major downside is that it would break isA<T>(). The assertion would still work but the narrowing cast wouldn't.