Slide 8
Slide 8 text
switch instance as Super {
case let a as SubA: … // do something
case let b as SubB: … // do something
default: … // fatal error? makeshift code?
}
noise…
Even if the premise is broken,
we can not detect statically.
Swift
Inhibit the representation
that it covers the whole type in the context :(