Top-level nullability is not relevant to erased casts
Fixing failed tests: do not report anything on casts that can never succeed