tree: 20d1909923f373e8be8e0317da7aae99fa1d65d8 [path history] [tgz]
  1. auxiliary/
  2. expr_add.rs
  3. expr_add.stderr
  4. expr_again.rs
  5. expr_again.stderr
  6. expr_andand.rs
  7. expr_array.rs
  8. expr_array.stderr
  9. expr_assign.rs
  10. expr_assign.stderr
  11. expr_block.rs
  12. expr_block.stderr
  13. expr_box.rs
  14. expr_box.stderr
  15. expr_call.rs
  16. expr_call.stderr
  17. expr_cast.rs
  18. expr_cast.stderr
  19. expr_if.rs
  20. expr_if.stderr
  21. expr_loop.rs
  22. expr_loop.stderr
  23. expr_match.rs
  24. expr_match.stderr
  25. expr_method.rs
  26. expr_method.stderr
  27. expr_oror.rs
  28. expr_repeat.rs
  29. expr_repeat.stderr
  30. expr_return.rs
  31. expr_return.stderr
  32. expr_return_in_macro.rs
  33. expr_return_in_macro.stderr
  34. expr_struct.rs
  35. expr_struct.stderr
  36. expr_tup.rs
  37. expr_tup.stderr
  38. expr_type.rs
  39. expr_type.stderr
  40. expr_unary.rs
  41. expr_unary.stderr
  42. expr_while.rs
  43. expr_while.stderr
  44. issue-11225-1.rs
  45. issue-11225-2.rs
  46. issue-11225-3.rs
  47. README.md
  48. unreachable-arm.rs
  49. unreachable-arm.stderr
  50. unreachable-code-ret.rs
  51. unreachable-code-ret.stderr
  52. unreachable-code.rs
  53. unreachable-code.stderr
  54. unreachable-in-call.rs
  55. unreachable-in-call.stderr
  56. unreachable-loop-patterns.rs
  57. unreachable-loop-patterns.stderr
  58. unreachable-try-pattern.rs
  59. unreachable-try-pattern.stderr
  60. unreachable-variant.rs
  61. unreachable-variant.stderr
  62. unwarned-match-on-never.rs
  63. unwarned-match-on-never.stderr
tests/ui/reachable/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.