class ĠA () Ġ{ ĊĠ Ġconstructor ( x : ĠInt ): Ġthis () ĊĠ Ġconstructor ( y : ĠInt , Ġz : ĠString ) Ġ: Ġthis ( y ) Ċ } Ċ Ċ // ĠSYMBOL S : Ċ Kt F ir Constructor Symbol : ĊĠ Ġannotated Type : Ġ[] ĠA ĊĠ Ġannotation Class Ids : Ġ[] ĊĠ Ġannotations : Ġ[] ĊĠ Ġcontaining Class Id If Non Local : ĠA ĊĠ Ġdispatch Type : Ġnull ĊĠ Ġis Primary : Ġtrue ĊĠ Ġorigin : ĠSOURCE ĊĠ Ġsymbol Kind : ĠMEMBER ĊĠ Ġtype Parameters : Ġ[] ĊĠ Ġvalue Parameters : Ġ[] ĊĠ Ġvisibility : ĠPUBLIC Ċ Ċ Kt F ir Function Value Parameter Symbol : ĊĠ Ġannotated Type : Ġ[] Ġkotlin / Int ĊĠ Ġannotation Class Ids : Ġ[] ĊĠ Ġannotations : Ġ[] ĊĠ Ġhas DefaultValue : Ġfalse ĊĠ Ġis Var arg : Ġfalse ĊĠ Ġname : Ġx ĊĠ Ġorigin : ĠSOURCE ĊĠ Ġsymbol Kind : ĠNON _ PROPERTY _ PARAMETER Ċ Ċ Kt F ir Constructor Symbol : ĊĠ Ġannotated Type : Ġ[] ĠA ĊĠ Ġannotation Class Ids : Ġ[] ĊĠ Ġannotations : Ġ[] ĊĠ Ġcontaining Class Id If Non Local : ĠA ĊĠ Ġdispatch Type : Ġnull ĊĠ Ġis Primary : Ġfalse ĊĠ Ġorigin : ĠSOURCE ĊĠ Ġsymbol Kind : ĠMEMBER ĊĠ Ġtype Parameters : Ġ[] ĊĠ Ġvalue Parameters : ĠCould Ġnot Ġrender Ġdue Ġto Ġjava . lang . Class CastException : Ġorg . jetbrains . kotlin . idea . frontend . api . fir . symbols . Kt F ir Function Value Parameter Symbol Ġcannot Ġbe Ġcast Ġto Ġorg . jetbrains . kotlin . idea . frontend . api . fir . symbols . Kt F ir Constructor Value Parameter Symbol ĊĠ Ġvisibility : ĠPUBLIC Ċ Ċ Kt F ir Function Value Parameter Symbol : ĊĠ Ġannotated Type : Ġ[] Ġkotlin / Int ĊĠ Ġannotation Class Ids : Ġ[] ĊĠ Ġannotations : Ġ[] ĊĠ Ġhas DefaultValue : Ġfalse ĊĠ Ġis Var arg : Ġfalse ĊĠ Ġname : Ġy ĊĠ Ġorigin : ĠSOURCE ĊĠ Ġsymbol Kind : ĠNON _ PROPERTY _ PARAMETER Ċ Ċ Kt F ir Function Value Parameter Symbol : ĊĠ Ġannotated Type : Ġ[] Ġkotlin / String ĊĠ Ġannotation Class Ids : Ġ[] ĊĠ Ġannotations : Ġ[] ĊĠ Ġhas DefaultValue : Ġfalse ĊĠ Ġis Var arg : Ġfalse ĊĠ Ġname : Ġz ĊĠ Ġorigin : ĠSOURCE ĊĠ Ġsymbol Kind : ĠNON _ PROPERTY _ PARAMETER Ċ Ċ Kt F ir Constructor Symbol : ĊĠ Ġannotated Type : Ġ[] ĠA ĊĠ Ġannotation Class Ids : Ġ[] ĊĠ Ġannotations : Ġ[] ĊĠ Ġcontaining Class Id If Non Local : ĠA ĊĠ Ġdispatch Type : Ġnull ĊĠ Ġis Primary : Ġfalse ĊĠ Ġorigin : ĠSOURCE ĊĠ Ġsymbol Kind : ĠMEMBER ĊĠ Ġtype Parameters : Ġ[] ĊĠ Ġvalue Parameters : ĠCould Ġnot Ġrender Ġdue Ġto Ġjava . lang . Class CastException : Ġorg . jetbrains . kotlin . idea . frontend . api . fir . symbols . Kt F ir Function Value Parameter Symbol Ġcannot Ġbe Ġcast Ġto Ġorg . jetbrains . kotlin . idea . frontend . api . fir . symbols . Kt F ir Constructor Value Parameter Symbol ĊĠ Ġvisibility : ĠPUBLIC Ċ Ċ Kt F ir Class Or Object Symbol : ĊĠ Ġannotation Class Ids : Ġ[] ĊĠ Ġannotations : Ġ[] ĊĠ Ġclass Id If Non Local : ĠA ĊĠ Ġclass Kind : ĠCLASS ĊĠ Ġcompanion Object : Ġnull ĊĠ Ġis Data : Ġfalse ĊĠ Ġis External : Ġfalse ĊĠ Ġis Fun : Ġfalse ĊĠ Ġis Inline : Ġfalse ĊĠ Ġis Inner : Ġfalse ĊĠ Ġmod ality : ĠFIN AL ĊĠ Ġname : ĠA ĊĠ Ġorigin : ĠSOURCE ĊĠ Ġsuper Types : Ġ[ [] Ġkotlin / Any ] ĊĠ Ġsymbol Kind : ĠTOP _ LEVEL ĊĠ Ġtype Parameters : Ġ[] ĊĠ Ġvisibility : ĠPUBLIC Ċ