KaType: Foo<kotlin.String>
PsiType: @org.jetbrains.annotations.NotNull() Foo<? super @org.jetbrains.annotations.NotNull() java.lang.String>

Compilation result:
@kotlin.Metadata
public final class<null>  DeclarationSiteContravariantFunctionContextParameterTypeFinalKt {
    // source: 'declarationSiteContravariantFunctionContextParameterTypeFinal.kt'
    public final static <(LFoo<-Ljava/lang/String;>;)V> method test(@org.jetbrains.annotations.NotNull p0: Foo): void
}

@kotlin.Metadata
public final class<<T:Ljava/lang/Object;>Ljava/lang/Object;>  Foo {
    // source: 'declarationSiteContravariantFunctionContextParameterTypeFinal.kt'
    public <null> method <init>(): void
}
