user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/src/test/ui/reachable
History
Felix S. Klock II fadabd6fbb Revert stabilization of feature(never_type). 
This commit is just covering the feature gate itself and the tests
that made direct use of `!` and thus need to opt back into the
feature.

A follow on commit brings back the other change that motivates the
revert: Namely, going back to the old rules for falling back to `()`.
2018-04-20 18:09:28 +02:00
..
expr_add.rs Revert stabilization of feature(never_type). 2018-04-20 18:09:28 +02:00
expr_add.stderr stabilise feature(never_type) 2018-03-14 12:44:51 +08: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 Update UI tests 2018-02-26 20:24:02 +03:00
expr_andand.rs Rename must-compile-successfully into compile-pass 2018-04-13 23:28:03 +02: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 stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_array.stderr stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_assign.rs Revert stabilization of feature(never_type). 2018-04-20 18:09:28 +02:00
expr_assign.stderr stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_block.rs stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_block.stderr stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_box.rs Merge cfail and ui tests into ui tests 2017-11-24 11:32:35 +01:00
expr_box.stderr Update UI tests 2018-02-26 20:24:02 +03:00
expr_call.rs Revert stabilization of feature(never_type). 2018-04-20 18:09:28 +02:00
expr_call.stderr stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_cast.rs Revert stabilization of feature(never_type). 2018-04-20 18:09:28 +02:00
expr_cast.stderr stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_if.rs stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_if.stderr stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_loop.rs stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_loop.stderr stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_match.rs stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_match.stderr stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_method.rs Revert stabilization of feature(never_type). 2018-04-20 18:09:28 +02:00
expr_method.stderr stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_oror.rs Rename must-compile-successfully into compile-pass 2018-04-13 23:28:03 +02: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 stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_repeat.stderr stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_return.rs stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_return.stderr stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_struct.rs stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_struct.stderr stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_tup.rs stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_tup.stderr stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_type.rs Revert stabilization of feature(never_type). 2018-04-20 18:09:28 +02:00
expr_type.stderr stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_unary.rs Revert stabilization of feature(never_type). 2018-04-20 18:09:28 +02:00
expr_unary.stderr Fix ui test errors 2018-03-14 12:44:51 +08:00
expr_while.rs stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_while.stderr stabilise feature(never_type) 2018-03-14 12:44:51 +08: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.