implicit with singleton type works around explicit result type for implicits

[olafurpg]

object singleton {
  val x = "Hello!"
  implicit val y: x.type = x
  implicitly[String].length
}

I expected the program to be rejected because the type of x is inferred and Dotty requires an explicit result type for implicits.

[Blaisorblade]

Explicit result types are requested for implicits because of potential cycles in inference—the details are here, though I haven't decoded that yet:
scala/bug#8697 (comment)

To triage this one could turn the described issue into problematic code, adapt the problematic code using the above trick, and see what happens. I might get to try this.

[odersky]

No, that one counts as explicit result type.