1
Fork 0

Improve a TAIT error and add an error code plus documentation

This commit is contained in:
Oli Scherer 2023-01-16 15:15:09 +00:00
parent 41edaac716
commit 6b69b5e460
21 changed files with 147 additions and 84 deletions

View file

@ -120,3 +120,7 @@ borrowck_cannot_move_when_borrowed =
[value] value
*[other] {$value_place}
} occurs here
borrowck_opaque_type_non_generic_param =
expected generic {$kind} parameter, found `{$ty}`
.label = this generic parameter must be used with a generic {$kind} parameter