interface IFoo<of T>
	get x as T

interface IBar<of T>
	inherits IFoo<of T>
	get y as T


class Test
	implements IBar<of int>

	get x as int
		return 7

	get y as int
		return 8

	def main is shared
		assert Test().x==7
		assert Test().y==8