missingfaktor · September 26, 2014 16:37
diff --git a/rows.scala b/rows.scala
 scala> def foo[R <: { def f1: Int }](x: R): (R, Int) = (x, x.f1)
 foo: [R <: AnyRef{def f1: Int}](x: R)(R, Int)

 scala> val x = new {
     |   def f1 = 90
     |   def f2 = "hello"
     | }
 x: AnyRef{def f1: Int; def f2: String} = $anon$1@adeb0ee

 scala> foo(x)._1.f2
 res8: String = hello
	scala> def foo[R <: { def f1: Int }](x: R): (R, Int) = (x, x.f1)
	foo: [R <: AnyRef{def f1: Int}](x: R)(R, Int)

	scala> val x = new {
	\| def f1 = 90
	\| def f2 = "hello"
	\| }
	x: AnyRef{def f1: Int; def f2: String} = $anon$1@adeb0ee

	scala> foo(x)._1.f2
	res8: String = hello