1 files changed, 13 insertions, 0 deletions
diff --git a/tests/untried/pos/t7180.scala b/tests/untried/pos/t7180.scala
new file mode 100644
index 000000000..15582f6df
--- /dev/null
+++ b/tests/untried/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 !!!
+}