Scala 3 (aka Dotty) type-safety not implied by the DOT calculus, after all | Heykuki News