Meaning
Implicit numeric conversion is not allowed.
Compiler layer
Semantic / numeric checking
← Error ExplorerVERIFIED
DIAGNOSTIC · SEMANTIC / NUMERIC CHECKING
E123 Implicit numeric conversion is not allowed
Implicit narrowing between numeric types is rejected.
Evidence
tests/integration/numeric_stage2b2_assignment_narrowing_E123.avs
Evidence reference from the reviewed project corpus. A reference indicates a related exercised scenario; it does not imply complete coverage of the diagnostic family.
Related documentation
Open language › numeric documentation →Related diagnostics
Scope noteThe evidence establishes rejection of the tested implicit narrowing conversion; it does not by itself define every numeric conversion rule.
Related evidence
TRACEABILITY
Related Evidence
These references identify supplied project evidence related to the documented area. Test files indicate exercised scenarios; reports and source documents provide additional audit evidence. A listed item is not a claim that every related behavior is covered.
tests/integration/numeric_stage2b2_assignment_narrowing_E123.avs