Google Git
Sign in
android / toolchain / rustc / refs/heads/main / . / tests / ui / reachable
tree: cec88700257877216ddd0bf092d630e5c28ae574 [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_call.rs
  14. expr_call.stderr
  15. expr_cast.rs
  16. expr_cast.stderr
  17. expr_if.rs
  18. expr_if.stderr
  19. expr_loop.rs
  20. expr_loop.stderr
  21. expr_match.rs
  22. expr_match.stderr
  23. expr_method.rs
  24. expr_method.stderr
  25. expr_oror.rs
  26. expr_repeat.rs
  27. expr_repeat.stderr
  28. expr_return.rs
  29. expr_return.stderr
  30. expr_return_in_macro.rs
  31. expr_return_in_macro.stderr
  32. expr_struct.rs
  33. expr_struct.stderr
  34. expr_tup.rs
  35. expr_tup.stderr
  36. expr_type.rs
  37. expr_type.stderr
  38. expr_unary.rs
  39. expr_unary.stderr
  40. expr_while.rs
  41. expr_while.stderr
  42. foreign-priv.rs
  43. issue-11225-1.rs
  44. issue-11225-2.rs
  45. issue-11225-3.rs
  46. issue-948.rs
  47. reachable-unnameable-type-alias.rs
  48. README.md
  49. unreachable-arm.rs
  50. unreachable-arm.stderr
  51. unreachable-code-ret.rs
  52. unreachable-code-ret.stderr
  53. unreachable-code.rs
  54. unreachable-code.stderr
  55. unreachable-in-call.rs
  56. unreachable-in-call.stderr
  57. unreachable-loop-patterns.rs
  58. unreachable-loop-patterns.stderr
  59. unreachable-try-pattern.rs
  60. unreachable-try-pattern.stderr
  61. unreachable-variant.rs
  62. unreachable-variant.stderr
  63. unwarned-match-on-never.rs
  64. 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.