9 <bold>val x</bold> = foo(::bar) (in test())
9 	val x = <bold>foo(::bar)</bold> (in test())
3 		<bold>fun foo(f: (Int) -> Int): Int</bold> {
4 			return <bold>f(1)</bold> (in foo((Int) -> Int))
4 				[LAMBDA IN] return <bold>f</bold>(1) (in foo((Int) -> Int))
3 					[LAMBDA IN] fun foo(<bold>f: (Int) -> Int</bold>): Int { (in foo((Int) -> Int))
9 						[LAMBDA IN] val x = foo(<bold>::bar</bold>) (in test())
8 							<bold>fun bar(n: Int)</bold> = n (in test())
8 								fun bar(n: Int) = <bold>n</bold> (in test())
8 									fun bar(<bold>n: Int</bold>) = n (in test())
