Name | Date | Size | #Lines | LOC | ||
---|---|---|---|---|---|---|
.. | 07-May-2022 | - | ||||
auxiliary/ | H | 20-Jan-2022 | - | 6 | 5 | |
README.md | H A D | 20-Jan-2022 | 332 | 8 | 6 | |
expr_add.rs | H A D | 20-Jan-2022 | 284 | 19 | 14 | |
expr_add.stderr | H A D | 20-Jan-2022 | 439 | 18 | 15 | |
expr_again.rs | H A D | 20-Jan-2022 | 180 | 12 | 8 | |
expr_again.stderr | H A D | 20-Jan-2022 | 534 | 18 | 15 | |
expr_andand.rs | H A D | 20-Jan-2022 | 242 | 14 | 8 | |
expr_array.rs | H A D | 20-Jan-2022 | 359 | 18 | 12 | |
expr_array.stderr | H A D | 20-Jan-2022 | 789 | 26 | 22 | |
expr_assign.rs | H A D | 20-Jan-2022 | 605 | 30 | 21 | |
expr_assign.stderr | H A D | 20-Jan-2022 | 843 | 34 | 29 | |
expr_block.rs | H A D | 20-Jan-2022 | 553 | 32 | 23 | |
expr_block.stderr | H A D | 20-Jan-2022 | 753 | 27 | 23 | |
expr_box.rs | H A D | 20-Jan-2022 | 160 | 9 | 7 | |
expr_box.stderr | H A D | 20-Jan-2022 | 430 | 18 | 15 | |
expr_call.rs | H A D | 20-Jan-2022 | 361 | 22 | 14 | |
expr_call.stderr | H A D | 20-Jan-2022 | 584 | 25 | 21 | |
expr_cast.rs | H A D | 20-Jan-2022 | 289 | 14 | 9 | |
expr_cast.stderr | H A D | 20-Jan-2022 | 758 | 25 | 21 | |
expr_if.rs | H A D | 20-Jan-2022 | 571 | 32 | 24 | |
expr_if.stderr | H A D | 20-Jan-2022 | 879 | 31 | 27 | |
expr_loop.rs | H A D | 20-Jan-2022 | 613 | 37 | 27 | |
expr_loop.stderr | H A D | 20-Jan-2022 | 1.3 KiB | 38 | 33 | |
expr_match.rs | H A D | 20-Jan-2022 | 804 | 40 | 29 | |
expr_match.stderr | H A D | 20-Jan-2022 | 1 KiB | 28 | 24 | |
expr_method.rs | H A D | 20-Jan-2022 | 416 | 25 | 17 | |
expr_method.stderr | H A D | 20-Jan-2022 | 622 | 25 | 21 | |
expr_oror.rs | H A D | 20-Jan-2022 | 220 | 13 | 8 | |
expr_repeat.rs | H A D | 20-Jan-2022 | 255 | 13 | 9 | |
expr_repeat.stderr | H A D | 20-Jan-2022 | 492 | 18 | 15 | |
expr_return.rs | H A D | 20-Jan-2022 | 320 | 14 | 9 | |
expr_return.stderr | H A D | 20-Jan-2022 | 504 | 18 | 15 | |
expr_return_in_macro.rs | H A D | 20-Jan-2022 | 309 | 16 | 9 | |
expr_return_in_macro.stderr | H A D | 20-Jan-2022 | 451 | 18 | 15 | |
expr_struct.rs | H A D | 20-Jan-2022 | 652 | 33 | 22 | |
expr_struct.stderr | H A D | 20-Jan-2022 | 1.4 KiB | 43 | 37 | |
expr_tup.rs | H A D | 20-Jan-2022 | 364 | 18 | 12 | |
expr_tup.stderr | H A D | 20-Jan-2022 | 813 | 26 | 22 | |
expr_type.rs | H A D | 20-Jan-2022 | 253 | 13 | 9 | |
expr_type.stderr | H A D | 20-Jan-2022 | 428 | 18 | 15 | |
expr_unary.rs | H A D | 20-Jan-2022 | 270 | 13 | 9 | |
expr_unary.stderr | H A D | 20-Jan-2022 | 721 | 25 | 21 | |
expr_while.rs | H A D | 20-Jan-2022 | 522 | 30 | 22 | |
expr_while.stderr | H A D | 20-Jan-2022 | 894 | 33 | 29 | |
unreachable-arm.rs | H A D | 20-Jan-2022 | 285 | 15 | 11 | |
unreachable-arm.stderr | H A D | 20-Jan-2022 | 317 | 15 | 12 | |
unreachable-code-ret.rs | H A D | 20-Jan-2022 | 125 | 9 | 5 | |
unreachable-code-ret.stderr | H A D | 20-Jan-2022 | 554 | 18 | 15 | |
unreachable-code.rs | H A D | 20-Jan-2022 | 126 | 9 | 6 | |
unreachable-code.stderr | H A D | 20-Jan-2022 | 395 | 18 | 15 | |
unreachable-in-call.rs | H A D | 20-Jan-2022 | 345 | 23 | 18 | |
unreachable-in-call.stderr | H A D | 20-Jan-2022 | 671 | 26 | 22 | |
unreachable-loop-patterns.rs | H A D | 20-Jan-2022 | 354 | 21 | 14 | |
unreachable-loop-patterns.stderr | H A D | 20-Jan-2022 | 339 | 15 | 12 | |
unreachable-try-pattern.rs | H A D | 20-Jan-2022 | 819 | 42 | 29 | |
unreachable-try-pattern.stderr | H A D | 20-Jan-2022 | 1.1 KiB | 36 | 31 | |
unreachable-variant.rs | H A D | 20-Jan-2022 | 170 | 8 | 4 | |
unreachable-variant.stderr | H A D | 20-Jan-2022 | 463 | 16 | 13 | |
unwarned-match-on-never.rs | H A D | 20-Jan-2022 | 452 | 25 | 18 | |
unwarned-match-on-never.stderr | H A D | 20-Jan-2022 | 973 | 36 | 31 |
README.md
1A variety of tests around reachability. These tests in general check 2two things: 3 4- that we get unreachable code warnings in reasonable locations; 5- that we permit coercions **into** `!` from expressions which 6 diverge, where an expression "diverges" if it must execute some 7 subexpression of type `!`, or it has type `!` itself. 8