TYP042

TYP042 — implicit numeric conversion is forbidden

Subsystem	Type checking
Severity	error

An arithmetic site mixes two different numeric types (e.g. i32 + i64). q64 never converts implicitly; cast one side explicitly so the widths and signedness are visible. See spec/types.md §arithmetic.

From your terminal:

q64 explain TYP042