int v=6/int2(bool2(0));

/*%%*
division by zero
expected 'int', but found 'int2'
*%%*/