class Y

inherit

	X
		redefine
			t
		end

feature

	t: B

end