blob: e46d29f474cd0f89cd5f6c2931a86b003ac46bed (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
trait Higher[F[_]]
trait Box[A]
object Box {
implicit def HigherBox: Higher[Box] = 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 !!!
}
|