@Throws not applied to generated overloads with DefaultArgumentInterop

[gicutri]

When using @throws on a Kotlin function with default arguments and enabling DefaultArgumentInterop.Enabled(true), Skie generates overloads for Swift/ObjC interop — however, those generated overloads do not preserve the @throws annotation.

This leads to unsafe Swift interop:
• Swift only requires try on the full-parameter version (which carries @throws).
• The overloads (with fewer parameters) can still throw, but Swift is unaware, so no try is enforced — which may result in runtime crashes.

@throws(MyException::class)
fun riskyOperation(x: Int = 0) {
if (x < 0) throw MyException()
}

With DefaultArgumentInterop.Enabled(true), Skie generates:
• fun riskyOperation() (calls riskyOperation(0))
• fun riskyOperation(x: Int)

Only the latter has @throws. The zero-argument overload is missing the annotation — despite being capable of throwing the same exception.

In Swift:

try? MyModuleKt.riskyOperation(x: -1) // works as expected
MyModuleKt.riskyOperation() // compiles without try, but crashes if exception is thrown

All Skie-generated overloads for functions annotated with @throws should also carry that annotation to ensure Swift/ObjC properly enforce error handling.

[FilipDolnik]

Hi! I've tried compiling the example code with SKIE and can't reproduce this issue - the generated overload is also marked as throwing, and even the generated Swift global functions (another feature of SKIE) are correct:

public func riskyOperation(x: Swift.Int32) throws -> Swift.Void {
    return try Kotlin.AKt.riskyOperation(x: x)
}

public func riskyOperation() throws -> Swift.Void {
    return try Kotlin.AKt.riskyOperation()
}

Which version of Kotlin and SKIE do you use?

Can you please try to reproduce this issue in an empty project, zip it, and send it to us?