zweic / tests / 4 / method00-2.zwei

class MethodTest {
    Null bar(Int a, Null b, UNKNOWN c) {} // 2/5 failure of clause 1 (incorrectly typed arguments)
}

2