plugins/kotlin-dataframe/testData/diagnostics/structuralCast.fir.txt

FILE: structuralCast.kt
    package org.jetbrains.kotlinx.dataframe

    @R|org/jetbrains/kotlinx/dataframe/annotations/DataSchema|() public abstract interface A : R|kotlin/Any| {
        public abstract val a: R|kotlin/Int|
            public get(): R|kotlin/Int|

    }
    @R|org/jetbrains/kotlinx/dataframe/annotations/DataSchema|() public abstract interface B : R|kotlin/Any| {
        public abstract val b: R|kotlin/Int|
            public get(): R|kotlin/Int|

        public abstract val b1: R|kotlin/Int|
            public get(): R|kotlin/Int|

    }
    public final fun check(df: R|org/jetbrains/kotlinx/dataframe/DataFrame<org/jetbrains/kotlinx/dataframe/A>|): R|kotlin/Unit| {
        R|<local>/df|.R|org/jetbrains/kotlinx/dataframe/api/cast|<R|org/jetbrains/kotlinx/dataframe/B|>()
    }
    public final fun checkAny(df: R|org/jetbrains/kotlinx/dataframe/DataFrame<*>|): R|kotlin/Unit| {
        R|<local>/df|.R|org/jetbrains/kotlinx/dataframe/api/cast|<R|org/jetbrains/kotlinx/dataframe/B|>()
    }
    public final fun checkEmptySchema(): R|kotlin/Unit| {
        lval pair: R|kotlin/Pair<kotlin/String, org/jetbrains/kotlinx/dataframe/DataColumn<kotlin/Int>>| = <strcat>(String(a), String(b)).R|kotlin/to|<R|kotlin/String|, R|org/jetbrains/kotlinx/dataframe/DataColumn<kotlin/Int>|>(R|org/jetbrains/kotlinx/dataframe/api/columnOf|<R|kotlin/Int|>(vararg(Int(123))))
        R|kotlin/run|<R|org/jetbrains/kotlinx/dataframe/DataFrame<<local>/DataFrameOf_86>|>(<L> = fun <anonymous>(): R|org/jetbrains/kotlinx/dataframe/DataFrame<<local>/DataFrameOf_86>| <inline=Inline, kind=EXACTLY_ONCE>  {
            local abstract class DataFrameOf_86I : R|kotlin/Any| {
                public constructor(): R|<local>/DataFrameOf_86I|

            }

            local final class Scope0 : R|kotlin/Any| {
                public constructor(): R|<local>/Scope0|

            }

            local abstract class DataFrameOf_86 : R|<local>/DataFrameOf_86I| {
                @R|org/jetbrains/kotlinx/dataframe/annotations/ScopeProperty|() public abstract val scope0: R|<local>/Scope0|
                    public get(): R|<local>/Scope0|

                public constructor(): R|<local>/DataFrameOf_86|

            }

            ^ R|org/jetbrains/kotlinx/dataframe/api/dataFrameOf|(vararg(R|<local>/pair|))
        }
        ).R|org/jetbrains/kotlinx/dataframe/api/cast|<R|org/jetbrains/kotlinx/dataframe/A|>()
    }
FILE: org/jetbrains/kotlinx/dataframe/__GENERATED__CALLABLES__.kt
    package org.jetbrains.kotlinx.dataframe

    public final val R|org/jetbrains/kotlinx/dataframe/DataRow<org/jetbrains/kotlinx/dataframe/A>|.a: R|kotlin/Int|
        public get(): R|kotlin/Int|
    public final val R|org/jetbrains/kotlinx/dataframe/ColumnsContainer<org/jetbrains/kotlinx/dataframe/A>|.a: R|org/jetbrains/kotlinx/dataframe/DataColumn<kotlin/Int>|
        public get(): R|org/jetbrains/kotlinx/dataframe/DataColumn<kotlin/Int>|
    public final val R|org/jetbrains/kotlinx/dataframe/DataRow<org/jetbrains/kotlinx/dataframe/B>|.b: R|kotlin/Int|
        public get(): R|kotlin/Int|
    public final val R|org/jetbrains/kotlinx/dataframe/ColumnsContainer<org/jetbrains/kotlinx/dataframe/B>|.b: R|org/jetbrains/kotlinx/dataframe/DataColumn<kotlin/Int>|
        public get(): R|org/jetbrains/kotlinx/dataframe/DataColumn<kotlin/Int>|
    public final val R|org/jetbrains/kotlinx/dataframe/DataRow<org/jetbrains/kotlinx/dataframe/B>|.b1: R|kotlin/Int|
        public get(): R|kotlin/Int|
    public final val R|org/jetbrains/kotlinx/dataframe/ColumnsContainer<org/jetbrains/kotlinx/dataframe/B>|.b1: R|org/jetbrains/kotlinx/dataframe/DataColumn<kotlin/Int>|
        public get(): R|org/jetbrains/kotlinx/dataframe/DataColumn<kotlin/Int>|