Nadrieril
|
5b7be148ea
|
Revert warning empty patterns as unreachable
|
2024-09-11 18:36:45 +02:00 |
|
Nadrieril
|
36eced444e
|
Cap the number of patterns pointed to by the lint
|
2024-08-19 21:57:40 +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
|
940769a79b
|
Improve "covered_by_many" error
|
2024-07-24 08:46:52 +02:00 |
|
Nadrieril
|
64ac2b8082
|
Explain why a given pattern is considered unreachable
|
2024-07-24 08:02:55 +02:00 |
|