diff options
Diffstat (limited to 'test/files/run/t102.scala')
-rw-r--r-- | test/files/run/t102.scala | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/test/files/run/t102.scala b/test/files/run/t102.scala new file mode 100644 index 0000000000..6517d8a531 --- /dev/null +++ b/test/files/run/t102.scala @@ -0,0 +1,24 @@ +trait Foo { + type Arg + type Prod + def makeProd(a: Arg): Prod +} + +object Test { + def f1(x: Foo)(y: x.Arg) = x.makeProd(y) + + case class f2[T <: Foo](x: T) { + def apply(y: x.Arg) = x.makeProd(y) + } + + val myFoo = new Foo { + type Arg = Int + type Prod = (Int, Int) + def makeProd(i: Int) = (i, i) + } + + def main(args: Array[String]): Unit = { + println(f1(myFoo)(5)) + println(f2(myFoo)(10)) + } +} |