8 lines
332 B
Markdown
8 lines
332 B
Markdown
|
A variety of tests around reachability. These tests in general check
|
||
|
|
two things:
|
||
|
|
|
||
|
|
- that we get unreachable code warnings in reasonable locations;
|
||
|
|
- that we permit coercions **into** `!` from expressions which
|
||
|
|
diverge, where an expression "diverges" if it must execute some
|
||
|
|
subexpression of type `!`, or it has type `!` itself.
|