diff options
Diffstat (limited to 'tests/ui/reachable/README.md')
| -rw-r--r-- | tests/ui/reachable/README.md | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/ui/reachable/README.md b/tests/ui/reachable/README.md new file mode 100644 index 000000000..8bed5fba7 --- /dev/null +++ b/tests/ui/reachable/README.md @@ -0,0 +1,7 @@ +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. |