From a200695677237922fdf6f995c690cb0108ec2fc4 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Mon, 11 Jul 2016 14:02:38 +0200
Subject: Fix SI-2712

Allows partially instantiated types as type constrictors when inferring higher-kinded
types.
---
 tests/pos/t2712-1.scala | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 tests/pos/t2712-1.scala

(limited to 'tests/pos/t2712-1.scala')

diff --git a/tests/pos/t2712-1.scala b/tests/pos/t2712-1.scala
new file mode 100644
index 000000000..4f84c9df5
--- /dev/null
+++ b/tests/pos/t2712-1.scala
@@ -0,0 +1,9 @@
+package test
+
+// Original test case from,
+//
+//   https://issues.scala-lang.org/browse/SI-2712
+object Test {
+  def meh[M[_], A](x: M[A]): M[A] = x
+  meh{(x: Int) => x} // solves ?M = [X] Int => X and ?A = Int ...
+}
-- 
cgit v1.2.3