zweic / tests / four / method00-1.zwei

// Method

class MethodTest {
    UNKNOWN foo() {} // 1/5 failure of clause 1 (incorrectly typed return type)
}

2