// PrintInt class foo {} class PrintIntTest { Null foo() { printInt(new foo()); // 1/1 failure of clause 1 (type must be Int) printInt(2); //success } } 1