// zweic - test program for method typing
// M. Ganguin, J. Ruffin 2005

class foo {}
class bar extends foo {}
class baz extends bar {}

// Method

class MethodTest {
    Null varScopeTest(Int a, foo f) {
        Int b = a; // success of clause 6 (parameter in variable scope)
        foo g = f; // success of clause 6 (parameter in variable scope)
        MethodTest m = this; // success of clause 6 (this in variable scope)
    }
}

0