1
Fork 0

Translate Overlap eagerly

This commit is contained in:
mejrs 2023-01-09 22:37:56 +01:00 committed by David Tolnay
parent 3d260fa63c
commit 372ac9c1a2
No known key found for this signature in database
GPG key ID: F9BA143B95FF6D82
4 changed files with 19 additions and 12 deletions

View file

@ -323,8 +323,6 @@ mir_build_overlapping_range_endpoints = multiple patterns overlap on their endpo
.range = ... with this range
.note = you likely meant to write mutually exclusive ranges
mir_build_overlapping_range = this range overlaps on `{$range}`...
mir_build_non_exhaustive_omitted_pattern = some variants are not matched explicitly
.help = ensure that all variants are matched explicitly by adding the suggested match arms
.note = the matched value is of type `{$scrut_ty}` and the `non_exhaustive_omitted_patterns` attribute was found