zweic / tests / 4 / class00-3.zwei

class ClassMemberTest {
    Int x; // success
    RANDOM y; // 3/4 failure of clause 3 (incorrectly typed member)
    Int bar() { Int a = 2; return a + 2 } // success
}

2