test

Author: som-snytt

tests/pos/i23666.scala

@@ -0,0 +1,14 @@
+
+type Tuple = scala.Tuple
+type Any = scala.Any
+
+infix type =:= [A, B] = A => B
+
+object `=:=` :
+   given [A] => A =:= A = a => a
+
+extension [T <: Tuple] (tuple: T)
+
+   def reverse[A, B](using ev: T =:= (A, B)): (B, A) = 
+      val ab = ev(tuple)
+      (ab._2, ab._1)