From a085f1e708224c5e4cdbcae3dcc4418bb7257d4d Mon Sep 17 00:00:00 2001
From: Nicolas Stucki <nicolas.stucki@gmail.com>
Date: Tue, 9 Jun 2020 15:34:23 +0200
Subject: [PATCH] Fix #5413: Add regression tests

---
 tests/pos/i5413-a.scala | 7 +++++++
 tests/pos/i5413-b.scala | 6 ++++++
 2 files changed, 13 insertions(+)
 create mode 100644 tests/pos/i5413-a.scala
 create mode 100644 tests/pos/i5413-b.scala

diff --git a/tests/pos/i5413-a.scala b/tests/pos/i5413-a.scala
new file mode 100644
index 000000000000..eebe5e9f3bf4
--- /dev/null
+++ b/tests/pos/i5413-a.scala
@@ -0,0 +1,7 @@
+trait Or[A]
+trait C
+
+object ImplicitChainTest {
+  def ipl[A](implicit from: A => Or[A]): C = null
+  ipl
+}
diff --git a/tests/pos/i5413-b.scala b/tests/pos/i5413-b.scala
new file mode 100644
index 000000000000..6fb6e7dfaf84
--- /dev/null
+++ b/tests/pos/i5413-b.scala
@@ -0,0 +1,6 @@
+object Foo {
+  type Or[A]
+  def foo[A](from: A => Or[A]): Any = null
+  def id[A]: A => A = identity
+  foo(id)
+}