Scala 3 (aka Dotty) type-safety not implied by the DOT calculus, after allgithub.com·2 pts·RollEyesScala·1