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