From 0eb2d76c467a53786ae6147c9c983c23ab0894c8 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Sat, 16 Jul 2016 15:21:12 +0200
Subject: Proparage function result constrains when inferring parameter types

If an application has functions with implicit parameter types we need to be
more aggressive about propagating knowledge of the expected result type into
the constraint.

Fixes #1378.
---
 tests/pos/i1378.scala | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 tests/pos/i1378.scala

(limited to 'tests')

diff --git a/tests/pos/i1378.scala b/tests/pos/i1378.scala
new file mode 100644
index 000000000..31475daf2
--- /dev/null
+++ b/tests/pos/i1378.scala
@@ -0,0 +1,3 @@
+object Test {
+  (1, x => 2): (Int, Int => Int)
+}
-- 
cgit v1.2.3