FILE: main.kt
    public abstract interface TypeConstructor : R|kotlin/Any| {
        public abstract val x: R|kotlin/String|
            public get(): R|kotlin/String|

    }
    public final fun main(): R|kotlin/Unit| {
        Q|OverridingUtil|.R|/OverridingUtil.createWithEqualityAxioms*s|(<L> = SAM(l1@fun <anonymous>(c1: R|TypeConstructor!|, c2: R|TypeConstructor!|): R|kotlin/Boolean| <inline=NoInline>  {
            when () {
                ==(R|<local>/c1|.R|/TypeConstructor.x|, R|<local>/c2|.R|/TypeConstructor.x|) ->  {
                    ^@l1 Boolean(true)
                }
            }

            ^ Boolean(false)
        }
        ))
    }
