zweic / tests / 4 / statement-do.zwei

// Do
class DoTest {
    Null foo() {
        Null k = null;
        2 + k; // 1/1 failure of clause 1 (incorrectly typed expression)
        2 + 2; // success
    }
}

1