fspl/compiler/test-data/data/simpleinterface/main.fspl

Numbered: (& [number]:Int)
Number: Int
Number.[number]: Int = [.this]

[main]: I32 'main' = {
	num:Number = 9
	ifa:Numbered = num
	[~I32 ifa.[number]]
}