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)
+}