This is somewhat tautological, since "valid Swift code" is in some sense defined by what swiftc accepts. IOW, raising a compiler error in these situations is the same as saying "arithmetic expressions which would unconditionally trap at runtime are not valid Swift code."
2 Likes