A modern programming language that makes developers happier.

kotlinlang

```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?

<https://github.com/Kotlin/kotlinx.serialization/blob/master/docs/polymorphism.md#property-of-an-interface-type>
&gt; Interfaces are implicitly polymorphic

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`