user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/src/test/ui/reachable
History
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
..
expr_add.rs cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_add.stderr cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_again.rs cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_again.stderr cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_andand.rs cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_andand.stderr cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_array.rs cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_array.stderr cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_assign.rs cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_assign.stderr cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_block.rs cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_block.stderr cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_box.rs cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_box.stderr cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_call.rs cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_call.stderr cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_cast.rs cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_cast.stderr cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_if.rs cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_if.stderr cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_loop.rs cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_loop.stderr cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_match.rs cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_match.stderr cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_method.rs cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_method.stderr cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_oror.rs cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_oror.stderr cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_repeat.rs cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_repeat.stderr cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_return.rs cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_return.stderr cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_struct.rs cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_struct.stderr cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_tup.rs cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_tup.stderr cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_type.rs cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_type.stderr cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_unary.rs cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_unary.stderr cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_while.rs cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
expr_while.stderr cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00
README.md cherry-pick over the tests I wrote for the reachability code 2017-03-30 07:55:29 -04:00

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.