src/test/ui/reachable/README.md

   1 A variety of tests around reachability. These tests in general check
   2 two things:
   3
   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.