user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/src/test/ui/reachable/README.md
Niko Matsakis 609bfe82fd 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-30 07:55:29 -04:00

332 B
Raw Blame History

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.