implied behaves abnormally in REPL

[Glavo]

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.