Although quite an obvious thing, I think import and export rules should be written in the proposal.
Function with `noreturn` attribute returning type T will be imported to Swift as a function returning empty type. Function returning empty type will be exported from Swift as a `noreturn` function returning `void`. Also, throwing and rethrowing functions returning NoReturn CAN actually return if they throw. It is equivalent to returning Either<NoReturn, ErrorType>. _______________________________________________ swift-evolution mailing list [email protected] https://lists.swift.org/mailman/listinfo/swift-evolution
