FILE: multipleProperties.kt @R|kotlinx/serialization/Serializable|() public final class SomeClass : R|kotlin/Any| { public constructor(ctor: R|kotlin/Int|): R|SomeClass| { super() } public final val ctor: R|kotlin/Int| = R|/ctor| public get(): R|kotlin/Int| public final var body: R|kotlin/String| = String() public get(): R|kotlin/String| public set(value: R|kotlin/String|): R|kotlin/Unit| public final val getter: R|kotlin/Int| public get(): R|kotlin/Int| { ^ Int(42) } public final companion object Companion : R|kotlin/Any| { public final fun serializer(): R|kotlinx/serialization/KSerializer| private constructor(): R|SomeClass.Companion| { super() } } @R|kotlin/Deprecated|(message = String(This synthesized declaration should not be used directly), level = Q|kotlin/DeprecationLevel|.R|kotlin/DeprecationLevel.HIDDEN|) public final object $serializer : R|kotlinx/serialization/internal/GeneratedSerializer| { public final override fun serialize(encoder: R|kotlinx/serialization/encoding/Encoder|, value: R|SomeClass|): R|kotlin/Unit| public final override fun deserialize(decoder: R|kotlinx/serialization/encoding/Decoder|): R|SomeClass| public final val descriptor: R|kotlinx/serialization/descriptors/SerialDescriptor| public get(): R|kotlinx/serialization/descriptors/SerialDescriptor| public final override fun childSerializers(): R|kotlin/Array>| private constructor(): R|SomeClass.$serializer| { super() } } } public final fun test(targetString: R|kotlin/String|): R|kotlin/String| { lval c: R|SomeClass| = R|/SomeClass.SomeClass|(Int(1)).R|kotlin/apply|( = apply@fun R|SomeClass|.(): R|kotlin/Unit| { this@R|special/anonymous|.R|/SomeClass.body| = String(x) } ) lval s: R|kotlin/String| = Q|kotlinx/serialization/json/Json|.R|kotlinx/serialization/json/Json.encodeToString|(Q|SomeClass|.R|/SomeClass.Companion.serializer|(), R|/c|) when () { !=(R|/s|, R|/targetString|) -> { ^test R|/s| } } lval i: R|SomeClass| = Q|kotlinx/serialization/json/Json|.R|kotlinx/serialization/json/Json.decodeFromString|(Q|SomeClass|.R|/SomeClass.Companion.serializer|(), R|/s|) when () { !=(R|/i|.R|/SomeClass.ctor|, R|/c|.R|/SomeClass.ctor|) -> { ^test String(Incorrect ctor) } } when () { !=(R|/i|.R|/SomeClass.body|, R|/c|.R|/SomeClass.body|) -> { ^test String(Incorrect body) } } ^test String(OK) } public final fun box(): R|kotlin/String| { ^box R|/test|(String({"ctor":1,"body":"x"})) }