8 fun bar(<bold>n: Int</bold>) = n (in test())
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())
