user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/src/test/ui/reachable
History
Andrew Cann edb9d2b20d Fix ui test errors
2018-03-14 12:44:51 +08:00
..
expr_add.rs stabilise feature(never_type) 2018-03-14 12:44:51 +08: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 Add must-compile-successfully comment to appropriate ui tests. 2017-12-10 21:14:57 +00: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 stabilise feature(never_type) 2018-03-14 12:44:51 +08: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 stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_call.stderr stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_cast.rs stabilise feature(never_type) 2018-03-14 12:44:51 +08: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 stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_method.stderr stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_oror.rs Add must-compile-successfully comment to appropriate ui tests. 2017-12-10 21:14:57 +00: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 stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_type.stderr stabilise feature(never_type) 2018-03-14 12:44:51 +08:00
expr_unary.rs Make coerce_never lint an error 2018-03-14 12:44:51 +08: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.