```sealed interface IA { @Serializable data class B(val b: Int) : IA } @Serializable data ...

# serialization

[Assaf Shouval]

sealed interface IA {
    @Serializable
    data class B(val b: Int) : IA
}


@Serializable
data class C(val ia: IA, val str:String)

why is C is Serializable if IA is not necessarily? is there a way to ensure that it won't be compiling?

[ephemient]

https://github.com/Kotlin/kotlinx.serialization/blob/master/docs/polymorphism.md#property-of-an-interface-type

Interfaces are implicitly polymorphic

[ephemient]

you should be able to write

@Serializable sealed interface

but I'm not sure there's a way to prevent the implicit @Polymorphic ia: IA