test case for #7248

Author: odersky

tests/neg/i7248.scala

@@ -0,0 +1,4 @@
+object Test extends App {
+  given f[H](given h: H): H = h
+  summon[Int]  // error
+}