It's a nice, simple formalization of some of the type-system behavior, but it doesn't actually change the key question with rethrows, which is whether the signature of A below is equivalent to that of B or that of C: // A func foo(fn: () throws -> Void) rethrows // B func fo...