1
Fork 0

refactor: merge E0465 into E0464

This commit is contained in:
Ezra Shaw 2022-12-22 20:21:43 +13:00
parent 5570cda187
commit 24b39ece2f
No known key found for this signature in database
GPG key ID: 17CD5C2ADAE0D344
17 changed files with 59 additions and 86 deletions

View file

@ -598,7 +598,7 @@ E0791: include_str!("./error_codes/E0791.md"),
// E0421, // merged into 531
// E0427, // merged into 530
// E0456, // plugin `..` is not available for triple `..`
E0465, // multiple .. candidates for `..` found
// E0465, // removed: merged with E0464
// E0467, // removed
// E0470, // removed
// E0471, // constant evaluation error (in pattern)