synthetic static method ArticleScreenContent$default(p0: java.lang.String, p1: kotlin.jvm.functions.Function0, p2: int, p3: java.lang.Object): void
    private final static method ArticleScreenContent(p0: java.lang.String, p1: kotlin.jvm.functions.Function0): void
    private final static method TopAppBar(p0: java.lang.String): void
    public synthetic final static method access$TopAppBar(p0: java.lang.String): void

    enclosing method MainKt.ArticleScreenContent(Ljava/lang/String;)V
    synthetic final field $title: java.lang.String
    inner (anonymous) class MainKt$ArticleScreenContent$1
    inner (anonymous) class MainKt$ArticleScreenContent$1$1
    method <init>(p0: java.lang.String): void
    public synthetic bridge method invoke(): java.lang.Object
    public final method invoke(): kotlin.jvm.functions.Function0
}

public final class MainKt {

          $this: GET_FIELD 'FIELD IR_EXTERNAL_JAVA_DECLARATION_STUB name:out type:@[FlexibleNullability] java.io.PrintStream? visibility:public [final,static] declared in java.lang.System' type=@[FlexibleNullability] java.io.PrintStream? superQualifierSymbol=java.lang.System origin=null
          p0: CALL 'public abstract fun invoke (p1: P1 of kotlin.Function1): R of kotlin.Function1 [operator] declared in kotlin.Function1' type=kotlin.Int origin=INVOKE

// MODULE: lib
// MODULE_KIND: LibraryBinary
// FILE: p3/Anno.java
package p3;

import java.lang.annotation.Retention;
import java.lang.annotation.RetentionPolicy;
import java.lang.annotation.Target;

import static java.lang.annotation.ElementType.*;

@Target({TYPE, FIELD, METHOD, PARAMETER, CONSTRUCTOR, LOCAL_VARIABLE})
@Retention(RetentionPolicy.CLASS)
public @interface Anno {
    String[] value();
}

// MODULE: lib2(lib)

public final class CodeFragment {
    // source: 'fragment.kt'
    public method <init>(): void
    public final static method run(p0: java.lang.String): java.lang.String

     * kotlin.Int is mapped to I
     * Type aliases are mapped to their expanded form
     */
    DEFAULT_UAST,

    /**
     * kotlin.Int is mapped to Ljava/lang/Integer;
     */
    GENERIC_ARGUMENT,

    /**
     * kotlin.Int is mapped to Ljava/lang/Integer;
     * No projections allowed in immediate arguments
     */
    SUPER_TYPE,

    /**

public final class MainKt {
    // source: 'main.kt'
    public final static method Greeting(): java.lang.String

<caret_context>call("foo")


// MODULE: main
// MODULE_KIND: CodeFragment
// CONTEXT_MODULE: context

// FILE: fragment.kt
// CODE_FRAGMENT_KIND: EXPRESSION
// CODE_FRAGMENT_FOREIGN_VALUE: foo_DebugLabel(Ljava/lang/String;)

fun call(text: String) {}


// MODULE: main
// MODULE_KIND: CodeFragment
// CONTEXT_MODULE: context

// FILE: fragment.kt
// CODE_FRAGMENT_KIND: EXPRESSION
// CODE_FRAGMENT_FOREIGN_VALUE: foo_DebugLabel(Ljava/lang/String;)

import org.jetbrains.kotlin.platform.has
import org.jetbrains.kotlin.platform.jvm.JvmPlatform
import org.jetbrains.kotlin.types.*
import org.jetbrains.kotlin.types.model.SimpleTypeMarker
import java.lang.UnsupportedOperationException

internal class KaFe10PsiTypeProvider(
    override val analysisSession: KaFe10Session
) : KaPsiTypeProvider(), KaFe10SessionComponent {
    override val token: KaLifetimeToken