Which would be changing the paradigm away from implicit coercion, yes. That would make it a different, entirely hypothetical, ill-defined language. A very cle

Which would be changing the paradigm away from implicit coercion, yes. That would make it a different, entirely hypothetical, ill-defined language. A very clear strawman that isn't particularly worth fighting. It would quite possibly be a better language, but it's not a thing you "just do" to solve footguns - it has pretty big effects on the language and ecosystem.