1
Fork 0

Migrate OpaqueHiddenType mismatch

This commit is contained in:
111 2022-08-31 20:16:02 +08:00
parent 3e834a7a62
commit 00cd965046
3 changed files with 47 additions and 13 deletions

View file

@ -1,3 +1,13 @@
middle_drop_check_overflow =
overflow while adding drop-check rules for {$ty}
.note = {$note}
middle_opaque_hidden_type_mismatch =
concrete type differs from previous defining opaque type use
.label = expected `{$self_ty}`, got `{$other_ty}`
middle_conflict_types =
this expression supplies two conflicting concrete types for the same opaque type
middle_previous_use_here =
previous use here