Google Git
Sign in
rust / rust-lang / rust / refs/heads/try-perf / . / tests / ui / reachable
tree: 58cd33f26e005c9e3ef67ac44fed14b80b77f053 [path history] [tgz]
  1. auxiliary/
  2. artificial-block.rs
  3. boolean-negation-in-unreachable-code-7344.rs
  4. diverging-expressions-unreachable-code.rs
  5. expr_add.rs
  6. expr_add.stderr
  7. expr_again.rs
  8. expr_again.stderr
  9. expr_andand.rs
  10. expr_array.rs
  11. expr_array.stderr
  12. expr_assign.rs
  13. expr_assign.stderr
  14. expr_block.rs
  15. expr_block.stderr
  16. expr_call.rs
  17. expr_call.stderr
  18. expr_cast.rs
  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. foreign-priv.rs
  45. guard_read_for_never.rs
  46. issue-11225-1.rs
  47. issue-11225-2.rs
  48. issue-11225-3.rs
  49. issue-948.rs
  50. nested_type_ascription.rs
  51. reachable-unnameable-type-alias.rs
  52. README.md
  53. type_ascribe_never_field.rs
  54. unreachable-arm.rs
  55. unreachable-arm.stderr
  56. unreachable-bool-read-7246.rs
  57. unreachable-bool-read-7246.stderr
  58. unreachable-by-call-arguments-issue-139627.rs
  59. unreachable-code-diverging-expressions.rs
  60. unreachable-code-ret.rs
  61. unreachable-code-ret.stderr
  62. unreachable-code.rs
  63. unreachable-code.stderr
  64. unreachable-in-call.rs
  65. unreachable-in-call.stderr
  66. unreachable-loop-patterns.rs
  67. unreachable-loop-patterns.stderr
  68. unreachable-try-pattern.rs
  69. unreachable-try-pattern.stderr
  70. unreachable-variant.rs
  71. unreachable-variant.stderr
  72. unwarned-match-on-never.rs
  73. 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.