class A def foo(i as int) pass class B inherits A def foo(i as int) base.foo(i) class C inherits B def foo(i as int) # used to cause a false error that 'is override' or 'is new' was necessary (which it's not when there is an invocation on `base`) base.foo(i) class Program def main is shared C().foo(1)