class A

	def foo as int
		has MustUseResultAttribute
		return 5


class B
	inherits A
	
	def foo as int is override
		return 5

	def bar(args)
		has MustUseResultAttribute
		pass

# TODO: method overloading makes all method related features... more interesting


class Test

	def main is shared
		a = A()
		a.foo # .warning. should be used
		b = B()
		b.foo # .warning. should be used
		b.bar(1) # .warning. should be used