## Compiler version Scala3.1.1 ## Minimized code <!-- This code should be self contained, compilable (with possible failures) and as small as possible. Ideally, we should be able to just copy this code in a file and run `scalac` (and maybe `scala`) to reproduce the issue. --> ```Scala summon[Int] ``` ## Output ```scala no implicit argument of type Int was found for parameter x of method summon in object Predef ``` ## Expectation `no given instance of type Int was found for parameter x of method summon in object Predef` As in Scala 3 we are providing an using argument which is a `given` instance.