Scala 3 (aka Dotty) type-safety not implied by the DOT calculus, after allgithub.com/lampepfl2 pointsRollEyesScala10 years ago