Is there still no way in K2 to find whether an `IrFunction` / `IrClass` is `actual`? And reconcile w...

# compiler

[natario1]

Is there still no way in K2 to find whether an IrFunction / IrClass is actual? And reconcile with its expect counterpart. I’ve been using ObsoleteDescriptorBasedAPI but would like to migrate to something else.

Use case - by linking the two declarations, plugins can:
• be less strict, e.g. let users annotate either one of the two
• given an actual fun, retrieve the default value for parameters. Can only be done through its expect counterpart

[shikasd]

K2 requires annotations on expect/actual to match exactly and it should merge them before plugins are invoked, at least the backend (ir) part

[natario1]

Thanks a lot! Just tested it and even default values are merged. It’s way simpler now.

[Edoardo Luppi]

@shikasd but can an actual declaration carry more annotations? On top of the expect ones I mean.

[shikasd]

I don't think so

[Edoardo Luppi]

But what if an annotation exists only on a specific platform

[shikasd]

You have to type alias it iirc

[shikasd]

I might be wrong, please check with the compiler yourself :)

[Edoardo Luppi]

Yeah I'll check no worries

[natario1]

Another problem is when you have expect class + actual typealias, and the annotation is not applicable to typealiases. If I remember correctly I only got a warning though.

[Edoardo Luppi]

I just got worried when I read your message lol