Add files via upload

Decel · web-flow · commit 70078f9b6b3a · 2023-03-31T00:14:44.000+03:00
diff --git a/tests/neg/i17168.scala b/tests/neg/i17168.scala
@@ -0,0 +1,3 @@
+type F[X <: String] = X  
+
+val a = summon[F[Int] =:= Int]
