Right. We don't have a full production 3.0 release yet, so I tend to think of "Scala" as Scala 2 unless it's specifically qualified as Scala 3.

Scala 3 seems to be a really good step in the right direction for me. There's a clear desire for many of the features that are currently achieved through burdensome hacks on top of implicits, and actually reifying several of them into core language features is a counterintuitive way to make things simpler rather than more complicated.

As far as I'm aware implicits are alive and well in Scala 3 and will, I predict, be Scala's ultimate downfall.

No it doesn't, it has syntax to make them look more like a language feature but they're actually still just implicits.