zweic / tests / 4 / statement-printInt.zwei

// PrintInt

class foo {}

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

1