diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2015-09-06 13:52:30 +1000 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2015-09-06 13:52:30 +1000 |
commit | 8292bb3cea615b79685b8eea7c23c63903a0e810 (patch) | |
tree | fc92596fb2e4fe25c1c0428426188ba925bd7615 /test/files/pos | |
parent | 7d91f64c5be62a5526dac59f37003b73181cd915 (diff) | |
parent | 6b336f86d677f5aedd40bd673cdd7ffbea780fbd (diff) | |
download | scala-8292bb3cea615b79685b8eea7c23c63903a0e810.tar.gz scala-8292bb3cea615b79685b8eea7c23c63903a0e810.tar.bz2 scala-8292bb3cea615b79685b8eea7c23c63903a0e810.zip |
Merge pull request #4704 from VladUreche/issue/9442
SI-9442 Fix the uncurry-erasure types
Diffstat (limited to 'test/files/pos')
-rw-r--r-- | test/files/pos/t9442.scala | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/files/pos/t9442.scala b/test/files/pos/t9442.scala new file mode 100644 index 0000000000..2ea81e79cb --- /dev/null +++ b/test/files/pos/t9442.scala @@ -0,0 +1,14 @@ +trait Ctx { + trait Tree +} +trait Lst[+A] { + def zip[A1 >: A, B](that: Lst[B]): Nothing +} +class C[@specialized(Int) T] { + def moo(t: T) = { + def foo1(c: Ctx)(l: Lst[c.Tree]) = l zip l + def foo2(c: Ctx)(l: Lst[c.Tree]*) = l(0) zip l(1) + def foo3(c: Ctx)(l: => Lst[c.Tree]) = l zip l + ??? + } +} |