1 A variety of tests around reachability. These tests in general check
4 - that we get unreachable code warnings in reasonable locations;
5 - that we permit coercions **into** `!` from expressions which
6 diverge, where an expression "diverges" if it must execute some
7 subexpression of type `!`, or it has type `!` itself.