diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2013-02-25 11:37:14 +0100 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2013-02-25 11:37:14 +0100 |
commit | de1f74990aa5321a47dd1366a1e283f2ca8a4e6f (patch) | |
tree | c2cc775b4aef6206694bb303fc1bb81e864c40d2 /test/files/pos/t7180.scala | |
parent | 9a2455aee4cfb09030ff2c2c0e6861326487e474 (diff) | |
download | scala-de1f74990aa5321a47dd1366a1e283f2ca8a4e6f.tar.gz scala-de1f74990aa5321a47dd1366a1e283f2ca8a4e6f.tar.bz2 scala-de1f74990aa5321a47dd1366a1e283f2ca8a4e6f.zip |
SI-7180 Fix regression in implicit scope of HK type alias.
We actually need to call normalize here, otherwise we don't
progress through #1 below.
[infer implicit] scala.this.Predef.implicitly[Higher[Foo.Bar]] with pt=Higher[Foo.Bar] in object Foo
1. tp=Foo.Bar tp.normalize=[A <: <?>]Foo.Bar[A] tp.dealias=Foo.Bar
2. tp=Foo.Bar[A] tp.normalize=Box[A] tp.dealias=Box[A]
Diffstat (limited to 'test/files/pos/t7180.scala')
-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 !!! +} |