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

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

// Method

class MethodTest {
    
    bar overrideTest(bar a, bar b) { return new bar() } // success of clause 3

    baz overrideTest(foo a, foo b) { // successful override
        return new baz() // success (polymorphism)
    }

}

0