rust/tests/ui/reachable/README.md

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.
cherry-pick over the tests I wrote for the reachability code For the most part, the current code performs similarly, although it differs in some particulars. I'll be nice to have these tests for judging future changes, as well. 2017-03-21 13:41:41 +00:00			`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.