// 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 returnExpressionTypeTest2() { return new baz() } // success of clause 7

}

0