compiler-design-eth/javali_tests/HW3_nop90/InheritanceTests/OverrideTests/OkCallOverriddenMethod.javali

// Call method that has been overridden (both the new and old one)

class Other {
	void method() {}
}

class Main extends Other {
	void main() {
		Other o;
		method();
		o = (Other) this;
		o.method();
	}

	void method() {}
}