Searched full:actual_type (Results 1 – 2 of 2) 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}'.
340 args: name, register, actual_type, expected_type
343 …${register} physical type is '${actual_type}'. But the expected physical type is '${expected_type}…
347 args: name, actual_type
349 …ll to '${name}'. Formal parameter is of type 'Bot', but actual parameter is of type ${actual_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
377 …Cannot make a call to '${name}'. Actual lambda type ${reg}'${actual_type}' (physical type '${physi…
[all …]
|
| /arkcompiler/runtime_core/static_core/verification/absint/ |
| D | abs_int_inl.h | 3063 // arg: NormalizedTypeOf(actual_type) <= norm_type
|