//ww:error "operands have differing types"
// #5-C3 Q4: the historical "cs loud / ww silent by design" tag is SUPERSEDED
// — at HEAD 07b3c74 BOTH stages reject with this substring (divergence closed).
// Do NOT re-split this into a cs-only pin: the reject is now symmetric.
package main;
type k1 = int;
type k2 = int;
export fn main() i32 = {
	let a: k1 = 3;
	let b: k2 = 4;
	let c = a + b;
	return c: i32;
};