Oof, that's pretty unfortunate. But I really don't see a good reason to treat !! differently from any other precondition—we ought to care about source location leaks and code size vs. error descriptiveness exactly as much for !! as for any other precondition.