Files
rust/tests/ui/reachable
2023-10-23 13:04:47 -07:00
..
2023-05-08 21:44:21 +00:00
2023-05-08 17:58:01 -03:00

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.