Nadrieril
|
f30392a985
|
Move the "matches no value" note to be a span label
|
2024-08-20 21:53:47 +02:00 |
|
Nadrieril
|
efb28bdd90
|
Add a note with a link to explain empty types
|
2024-08-19 21:57:37 +02:00 |
|
Nadrieril
|
25964b541e
|
Reword the "unreachable pattern" explanations
|
2024-08-19 21:39:57 +02:00 |
|
Nadrieril
|
99468bb760
|
Update tests
|
2024-08-10 12:07:17 +02:00 |
|
Nadrieril
|
64ac2b8082
|
Explain why a given pattern is considered unreachable
|
2024-07-24 08:02:55 +02:00 |
|
Nadrieril
|
34307ab7c5
|
Reveal empty opaques in depth
|
2023-12-23 14:59:12 +01:00 |
|
Nadrieril
|
2a87bae48d
|
Reveal opaque types in exhaustiveness checking
|
2023-12-20 14:43:00 +01:00 |
|
Nadrieril
|
7e4924b55d
|
Add tests
|
2023-12-20 14:43:00 +01:00 |
|