From 7d76151109db168d025dfc0f6501fa7694e17053 Mon Sep 17 00:00:00 2001
From: Guillaume Martres <smarter@ubuntu.com>
Date: Tue, 17 Nov 2015 23:41:02 +0100
Subject: Fix ambiguity errors with polymorphic implicits
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Previously, `isAsSpecific(alt1, tp1, alt2, tp2)` did not handle
having `tp2` be a polymorphic non-method type like `[A]Foo[A]`.

Also update the documentation of `isAsSpecific` to account for this
change, the new documentation is based on SLS § 6.26.3 but
adapted to reflect the code.
---
 tests/run/implicits_poly.check | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 tests/run/implicits_poly.check

(limited to 'tests/run/implicits_poly.check')

diff --git a/tests/run/implicits_poly.check b/tests/run/implicits_poly.check
new file mode 100644
index 000000000..0b148ee47
--- /dev/null
+++ b/tests/run/implicits_poly.check
@@ -0,0 +1 @@
+barFoo
-- 
cgit v1.2.3