Merge pull request scala#2990 from dotty-staging/fix-#2788

Fix scala#2788: Add regression test
LannyRipple · Aug 17, 2017 · ca30985 · ca30985
2 parents 9c4b88d + 75a184c
commit ca30985
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/tests/pos/i2788.scala b/tests/pos/i2788.scala
@@ -0,0 +1,9 @@
+trait Ord[A] { def less(x: A, y: A): Boolean }
+
+object Main {
+  implicit val intOrd: Ord[Int] = new Ord {  // omitted [Int] here
+    def less(x: Int, y: Int) = x < y
+  }
+
+  def main(args: Array[String]): Unit = ()
+}