Searched full:formal_type (Results 1 – 1 of 1) sorted by relevance
| /arkcompiler/runtime_core/static_core/verification/ |
| D | messages.yaml | 115 args: name, maybe_reg, actual_type, formal_type
117 … In a call to '${name}'. ${maybe_reg}Actual type: '${actual_type}'. Formal type: '${formal_type}'.
366 args: formal_type, actual_type
368 …Warning: formal type is '${formal_type}' but actual is '${actual_type}'. Actual type is an inexact…
375 args: name, reg, actual_type, physical_actual_type, formal_type, physical_formal_type
378 …is not compatible with formal lambda type '${formal_type}' (physical type '${physical_formal_type}…
388 args: name, actual_type, formal_type
391 Formal type: '${formal_type}'.
|