From 7d0aa42a130f4bff80761770b3a4e2b85c63f8c3 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Tue, 20 Apr 2021 11:45:23 +0200
Subject: [PATCH] Regression test for #8833

---
 tests/pos/i8833.scala | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 tests/pos/i8833.scala

diff --git a/tests/pos/i8833.scala b/tests/pos/i8833.scala
new file mode 100644
index 000000000000..3bb6fabe1e26
--- /dev/null
+++ b/tests/pos/i8833.scala
@@ -0,0 +1,4 @@
+@main def Test = {
+  implicitly[("k" | "v") <:< ("k" | "v")]
+  implicitly[("k" | "v") =:= ("k" | "v")]
+}