Merge pull request #12154 from dotty-staging/test-8833

Regression test for #8833

Author: odersky

tests/pos/i8833.scala

@@ -0,0 +1,4 @@
+@main def Test = {
+  implicitly[("k" | "v") <:< ("k" | "v")]
+  implicitly[("k" | "v") =:= ("k" | "v")]
+}