diff options
author | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-02-27 15:05:16 -0800 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-02-27 15:06:16 -0800 |
commit | 234d05d52b5a2985e53f9cb6877001b3c8fc780e (patch) | |
tree | 9ddac0344649cecde3504fb8f9834e782f8fc756 /test/files/pos | |
parent | 031c5be557ed49f02ab365d64e55f30c616a5939 (diff) | |
parent | 4d1a1f7ee596fcec4fe51a505aceb323710d893f (diff) | |
download | scala-234d05d52b5a2985e53f9cb6877001b3c8fc780e.tar.gz scala-234d05d52b5a2985e53f9cb6877001b3c8fc780e.tar.bz2 scala-234d05d52b5a2985e53f9cb6877001b3c8fc780e.zip |
Merge 2.10.1 into 2.10.x.
Diffstat (limited to 'test/files/pos')
-rw-r--r-- | test/files/pos/t7180.scala | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/files/pos/t7180.scala b/test/files/pos/t7180.scala new file mode 100644 index 0000000000..15582f6df3 --- /dev/null +++ b/test/files/pos/t7180.scala @@ -0,0 +1,13 @@ +trait Higher[F[_]] + +trait Box[A] +object Box { + implicit def HigherBox = new Higher[Box] {} +} + +object Foo { + val box = implicitly[Higher[Box]] // compiles fine !!! + + type Bar[A] = Box[A] + val bar = implicitly[Higher[Bar]] // <-- this doesn't compile in 2.10.1-RC1, but does in 2.10.0 !!! +} |