Tower Data Context:
    Element 0
        Scope: FirDefaultStarImportingScope
    Element 1
        Scope: FirExplicitStarImportingScope
    Element 2
        Scope: FirDefaultSimpleImportingScope
    Element 3
        Scope: FirDefaultSimpleImportingScope
    Element 4
        Scope: FirPackageMemberScope
    Element 5
        Scope: FirExplicitSimpleImportingScope
    Element 6
        Scope: FirMemberTypeParameterScope
            Classifiers:
                FirTypeParameterSymbol T1
    Element 7
        Scope: FirLocalScope
            Properties:
                FirValueParameterSymbol a: R|A|
                FirValueParameterSymbol param: R|kotlin/Int| = context(R|<local>/a|, this@R|/foo|) R|/usage|()
                FirValueParameterSymbol param2: R|kotlin/String|
    Element 8
        Context parameters:
            FirValueParameterSymbol a: R|A|
                Type: A
    Element 9
        Implicit receiver:
            FirReceiverParameterSymbol <explicit receiver parameter>: R|B|
                Type: B

FILE: [ResolvedTo(IMPORTS)] functionValueParameterWithContextParameterWithDefaultValue.kt
    public final? [ResolvedTo(RAW_FIR)] class A : R|kotlin/Any| {
        public? [ResolvedTo(RAW_FIR)] constructor(): R|A| {
            LAZY_super<R|kotlin/Any|>
        }

    }
    public final? [ResolvedTo(RAW_FIR)] class B : R|kotlin/Any| {
        public? [ResolvedTo(RAW_FIR)] constructor(): R|B| {
            LAZY_super<R|kotlin/Any|>
        }

    }
    context([ResolvedTo(RAW_FIR)] <unused var>: A, [ResolvedTo(RAW_FIR)] <unused var>: B)
    public? final? [ResolvedTo(RAW_FIR)] fun usage(): <implicit> { LAZY_BLOCK }
    context([ResolvedTo(BODY_RESOLVE)] a: R|A|)
    public final [ResolvedTo(BODY_RESOLVE)] fun <[ResolvedTo(BODY_RESOLVE)] T1> [ResolvedTo(BODY_RESOLVE)] R|B|.foo([ResolvedTo(BODY_RESOLVE)] param: R|kotlin/Int| = context(R|<local>/a|, this@R|/foo|) R|/usage|(), [ResolvedTo(BODY_RESOLVE)] param2: R|kotlin/String|): R|kotlin/Unit| {
    }