rust/reachable at master - rust

History

Nadrieril 1f69638400 Add a machine-applicable suggestion to "unreachable pattern"		2024-09-13 21:01:29 +02:00
..
auxiliary	test for reachable private impl	2023-05-08 21:44:21 +00:00
README.md	…
expr_add.rs	…
expr_add.stderr	…
expr_again.rs	…
expr_again.stderr	…
expr_andand.rs	[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives	2024-02-16 20:02:50 +00:00
expr_array.rs	…
expr_array.stderr	…
expr_assign.rs	…
expr_assign.stderr	…
expr_block.rs	…
expr_block.stderr	…
expr_call.rs	…
expr_call.stderr	…
expr_cast.rs	…
expr_cast.stderr	…
expr_if.rs	…
expr_if.stderr	…
expr_loop.rs	…
expr_loop.stderr	…
expr_match.rs	…
expr_match.stderr	…
expr_method.rs	…
expr_method.stderr	…
expr_oror.rs	[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives	2024-02-16 20:02:50 +00:00
expr_repeat.rs	…
expr_repeat.stderr	…
expr_return.rs	…
expr_return.stderr	…
expr_return_in_macro.rs	…
expr_return_in_macro.stderr	…
expr_struct.rs	…
expr_struct.stderr	…
expr_tup.rs	…
expr_tup.stderr	…
expr_type.rs	…
expr_type.stderr	Make type_ascribe! not a built-in	2024-03-20 22:28:56 -04:00
expr_unary.rs	…
expr_unary.stderr	…
expr_while.rs	…
expr_while.stderr	…
foreign-priv.rs	[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives	2024-02-16 20:02:50 +00:00
issue-948.rs	[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives	2024-02-16 20:02:50 +00:00
issue-11225-1.rs	[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives	2024-02-16 20:02:50 +00:00
issue-11225-2.rs	[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives	2024-02-16 20:02:50 +00:00
issue-11225-3.rs	[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives	2024-02-16 20:02:50 +00:00
reachable-unnameable-type-alias.rs	[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives	2024-02-16 20:02:50 +00:00
unreachable-arm.rs	…
unreachable-arm.stderr	Reword the "unreachable pattern" explanations	2024-08-19 21:39:57 +02:00
unreachable-code-ret.rs	[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives	2024-02-16 20:02:50 +00:00
unreachable-code-ret.stderr	…
unreachable-code.rs	…
unreachable-code.stderr	…
unreachable-in-call.rs	…
unreachable-in-call.stderr	…
unreachable-loop-patterns.rs	Revert warning empty patterns as unreachable	2024-09-11 18:36:45 +02:00
unreachable-loop-patterns.stderr	Revert warning empty patterns as unreachable	2024-09-11 18:36:45 +02:00
unreachable-try-pattern.rs	[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives	2024-02-16 20:02:50 +00:00
unreachable-try-pattern.stderr	Add a machine-applicable suggestion to "unreachable pattern"	2024-09-13 21:01:29 +02:00
unreachable-variant.rs	[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives	2024-02-16 20:02:50 +00:00
unreachable-variant.stderr	…
unwarned-match-on-never.rs	…
unwarned-match-on-never.stderr	…

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.