@Joe_Groff and I discussed some Error a bit here. I’m not sure if we ever got a concrete answer to the ABI question, though, aside from Embedded Swift where there’s an obvious difference because any Error doesn’t exist.
Which seems like a pretty good reason for throws to mean throws(some Error), so that it behaves consistently on all targets. This hopefully shouldn’t require an ABI change because Error is self-conforming.