summaryrefslogtreecommitdiffstats
path: root/tests/ui/reachable/README.md
blob: 8bed5fba7a2e812346e96ad7e5c75ecd5c8ca6f2 (plain)
1
2
3
4
5
6
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.