• Home
  • History
  • Annotate
Name Date Size #Lines LOC

..07-May-2022-

auxiliary/H20-Jan-2022-65

README.mdH A D20-Jan-2022332 86

expr_add.rsH A D20-Jan-2022284 1914

expr_add.stderrH A D20-Jan-2022439 1815

expr_again.rsH A D20-Jan-2022180 128

expr_again.stderrH A D20-Jan-2022534 1815

expr_andand.rsH A D20-Jan-2022242 148

expr_array.rsH A D20-Jan-2022359 1812

expr_array.stderrH A D20-Jan-2022789 2622

expr_assign.rsH A D20-Jan-2022605 3021

expr_assign.stderrH A D20-Jan-2022843 3429

expr_block.rsH A D20-Jan-2022553 3223

expr_block.stderrH A D20-Jan-2022753 2723

expr_box.rsH A D20-Jan-2022160 97

expr_box.stderrH A D20-Jan-2022430 1815

expr_call.rsH A D20-Jan-2022361 2214

expr_call.stderrH A D20-Jan-2022584 2521

expr_cast.rsH A D20-Jan-2022289 149

expr_cast.stderrH A D20-Jan-2022758 2521

expr_if.rsH A D20-Jan-2022571 3224

expr_if.stderrH A D20-Jan-2022879 3127

expr_loop.rsH A D20-Jan-2022613 3727

expr_loop.stderrH A D20-Jan-20221.3 KiB3833

expr_match.rsH A D20-Jan-2022804 4029

expr_match.stderrH A D20-Jan-20221 KiB2824

expr_method.rsH A D20-Jan-2022416 2517

expr_method.stderrH A D20-Jan-2022622 2521

expr_oror.rsH A D20-Jan-2022220 138

expr_repeat.rsH A D20-Jan-2022255 139

expr_repeat.stderrH A D20-Jan-2022492 1815

expr_return.rsH A D20-Jan-2022320 149

expr_return.stderrH A D20-Jan-2022504 1815

expr_return_in_macro.rsH A D20-Jan-2022309 169

expr_return_in_macro.stderrH A D20-Jan-2022451 1815

expr_struct.rsH A D20-Jan-2022652 3322

expr_struct.stderrH A D20-Jan-20221.4 KiB4337

expr_tup.rsH A D20-Jan-2022364 1812

expr_tup.stderrH A D20-Jan-2022813 2622

expr_type.rsH A D20-Jan-2022253 139

expr_type.stderrH A D20-Jan-2022428 1815

expr_unary.rsH A D20-Jan-2022270 139

expr_unary.stderrH A D20-Jan-2022721 2521

expr_while.rsH A D20-Jan-2022522 3022

expr_while.stderrH A D20-Jan-2022894 3329

unreachable-arm.rsH A D20-Jan-2022285 1511

unreachable-arm.stderrH A D20-Jan-2022317 1512

unreachable-code-ret.rsH A D20-Jan-2022125 95

unreachable-code-ret.stderrH A D20-Jan-2022554 1815

unreachable-code.rsH A D20-Jan-2022126 96

unreachable-code.stderrH A D20-Jan-2022395 1815

unreachable-in-call.rsH A D20-Jan-2022345 2318

unreachable-in-call.stderrH A D20-Jan-2022671 2622

unreachable-loop-patterns.rsH A D20-Jan-2022354 2114

unreachable-loop-patterns.stderrH A D20-Jan-2022339 1512

unreachable-try-pattern.rsH A D20-Jan-2022819 4229

unreachable-try-pattern.stderrH A D20-Jan-20221.1 KiB3631

unreachable-variant.rsH A D20-Jan-2022170 84

unreachable-variant.stderrH A D20-Jan-2022463 1613

unwarned-match-on-never.rsH A D20-Jan-2022452 2518

unwarned-match-on-never.stderrH A D20-Jan-2022973 3631

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