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