While it addresses the issue of x!, it doesn't generalize or address the other failing forms in Swift, such as like try!, as!, array subscripting, integer overflows, etc.
try! や as! は optional! と同様の問題は抱えてるはずで、 !! じゃ不十分というのはその通りだ。 (edited)