class A
feature
	f: ANY
end