implied behaves abnormally in REPL

```scala
scala> implied for Int = 10
def Int_instance: Int

scala> infer[Int]
1 |infer[Int]
  |          ^
  |no implicit argument of type Int was found for parameter x of method infer in object DottyPredef

```
This problem only occurs in REPL and can be passed normally using dotc compilation.