[LC] merge ultraLightFacades tests to lightClassByPsi

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/coroutines.java

@@ -0,0 +1,7 @@
+public final class CoroutinesKt /* CoroutinesKt*/ {
+  @org.jetbrains.annotations.Nullable()
+  public static final java.lang.Object doSomething(@org.jetbrains.annotations.NotNull() java.lang.String, @org.jetbrains.annotations.NotNull() kotlin.coroutines.Continuation<? super java.lang.Integer>);//  doSomething(java.lang.String, kotlin.coroutines.Continuation<? super java.lang.Integer>)
+
+  public static final <T> void async(@org.jetbrains.annotations.NotNull() kotlin.jvm.functions.Function1<? super kotlin.coroutines.Continuation<? super T>, ? extends java.lang.Object>);// <T>  async(kotlin.jvm.functions.Function1<? super kotlin.coroutines.Continuation<? super T>, ? extends java.lang.Object>)
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/coroutines.kt

@@ -0,0 +1,6 @@
+//RELEASE_COROUTINE_NEEDED
+suspend fun doSomething(foo: String): Int { TODO() }
+
+fun <T> async(block: suspend () -> T) { TODO() }
+
+// WITH_STDLIB

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/importAliases.java

@@ -0,0 +1,5 @@
+public final class ImportAliasesKt /* ImportAliasesKt*/ {
+  @kotlin.jvm.JvmName(name = "notFoo")
+  public static final void notFoo();//  notFoo()
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/importAliases.kt

@@ -0,0 +1,5 @@
+//CHECK_BY_JAVA_FILE
+import kotlin.jvm.JvmName as JS
+
+@JS("notFoo") fun foo() {}
+

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/inlineOnly.fir.java

@@ -0,0 +1,2 @@
+public final class InlineOnlyKt /* InlineOnlyKt*/ {
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/inlineOnly.java

@@ -0,0 +1,5 @@
+public final class InlineOnlyKt /* InlineOnlyKt*/ {
+  @kotlin.internal.InlineOnly()
+  private static final void foo();//  foo()
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/inlineOnly.kt

@@ -0,0 +1,3 @@
+@Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE")
+@kotlin.internal.InlineOnly
+inline fun foo() {}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/jvmField.fir.java

@@ -0,0 +1,9 @@
+public final class JvmFieldKt /* JvmFieldKt*/ {
+  @kotlin.jvm.JvmField()
+  @org.jetbrains.annotations.NotNull()
+  public static final java.util.Collection<?> a;
+
+  @kotlin.jvm.JvmField()
+  public static int b = 1 /* initializer type: int */;
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/jvmField.java

@@ -0,0 +1,9 @@
+public final class JvmFieldKt /* JvmFieldKt*/ {
+  @kotlin.jvm.JvmField()
+  @org.jetbrains.annotations.NotNull()
+  public static final java.util.Collection<?> a;
+
+  @kotlin.jvm.JvmField()
+  public static int b;
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/jvmField.kt

@@ -0,0 +1,6 @@
+@JvmField
+val a: Collection<*> = emptyList()
+@JvmField
+var b: Int = 1
+
+// COMPILATION_ERRORS

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/jvmName.java

@@ -0,0 +1,27 @@
+public final class JvmNameKt /* JvmNameKt*/ {
+  @kotlin.jvm.JvmName(name = "fooInt")
+  public static final void fooInt(@org.jetbrains.annotations.NotNull() java.util.List<java.lang.Integer>);//  fooInt(java.util.List<java.lang.Integer>)
+
+  @kotlin.jvm.JvmName(name = "get_rwProp")
+  public static final int get_rwProp();//  get_rwProp()
+
+  @kotlin.jvm.JvmName(name = "hasBigArity")
+  public static final boolean hasBigArity();//  hasBigArity()
+
+  @kotlin.jvm.JvmName(name = "set_rwProp")
+  public static final void set_rwProp(int);//  set_rwProp(int)
+
+  @kotlin.jvm.JvmName(name = "xyz1")
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String xyz1();//  xyz1()
+
+  @kotlin.jvm.JvmName(name = "xyz2")
+  public static final void xyz2(@org.jetbrains.annotations.NotNull() java.lang.String);//  xyz2(java.lang.String)
+
+  public static final int getRwProp();//  getRwProp()
+
+  public static final void foo(@org.jetbrains.annotations.NotNull() java.util.List<java.lang.String>);//  foo(java.util.List<java.lang.String>)
+
+  public static final void setRwProp(int);//  setRwProp(int)
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/jvmName.kt

@@ -0,0 +1,23 @@
+var rwProp: Int
+	@JvmName("get_rwProp")
+	get() = 0
+	@JvmName("set_rwProp")
+	set(v) {}
+
+@get:JvmName("xyz1")
+@set:JvmName("xyz2")
+var xyz: String
+	get() = ""
+	set(value) {}
+
+@get:JvmName("hasBigArity")
+val hasBigArity: Boolean
+	get() = true
+
+fun getRwProp(): Int = 123
+fun setRwProp(v: Int) {}
+
+fun foo(x: List<String>) {}
+@JvmName("fooInt")
+fun foo(x: List<Int>) {}
+

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/jvmWildcardAnnotations.fir.java

@@ -0,0 +1,63 @@
+public final class Inv /* Inv*/<E>  {
+  public  Inv();//  .ctor()
+
+}
+
+public final class Out /* Out*/<T>  {
+  public  Out();//  .ctor()
+
+}
+
+public final class OutPair /* OutPair*/<Final, Y>  {
+  public  OutPair();//  .ctor()
+
+}
+
+public final class In /* In*/<Z>  {
+  public  In();//  .ctor()
+
+}
+
+public final class Final /* Final*/ {
+  public  Final();//  .ctor()
+
+}
+
+public class Open /* Open*/ {
+  public  Open();//  .ctor()
+
+}
+
+public final class JvmWildcardAnnotationsKt /* JvmWildcardAnnotationsKt*/ {
+  @kotlin.jvm.JvmSuppressWildcards(suppress = false)
+  @org.jetbrains.annotations.NotNull()
+  public static final Out<Open> bar();//  bar()
+
+  @kotlin.jvm.JvmSuppressWildcards(suppress = false)
+  public static final int foo(boolean, @org.jetbrains.annotations.NotNull() Out<java.lang.Integer>);//  foo(boolean, Out<java.lang.Integer>)
+
+  @kotlin.jvm.JvmSuppressWildcards(suppress = true)
+  @org.jetbrains.annotations.NotNull()
+  public static final In<Open> foo3();//  foo3()
+
+  @kotlin.jvm.JvmSuppressWildcards(suppress = true)
+  @org.jetbrains.annotations.NotNull()
+  public static final error.NonExistentClass foo2();//  foo2()
+
+  @kotlin.jvm.JvmSuppressWildcards(suppress = true)
+  public static final int bar(boolean, @org.jetbrains.annotations.NotNull() In<? super java.lang.Long>, long);//  bar(boolean, In<? super java.lang.Long>, long)
+
+  @kotlin.jvm.JvmSuppressWildcards(suppress = true)
+  public static final void deepOpen(@org.jetbrains.annotations.NotNull() Out<? extends Out<? extends Out<? extends Open>>>);//  deepOpen(Out<? extends Out<? extends Out<? extends Open>>>)
+
+  @org.jetbrains.annotations.NotNull()
+  public static final OutPair<Final, OutPair<Out<Final>, Out<? extends Final>>> falseTrueFalse();//  falseTrueFalse()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final OutPair<Open, ? extends OutPair<Open,? extends Out<Open>>> combination();//  combination()
+
+  public static final void simpleIn(@org.jetbrains.annotations.NotNull() In<? super java.lang.Object>);//  simpleIn(In<? super java.lang.Object>)
+
+  public static final void simpleOut(@org.jetbrains.annotations.NotNull() Out<? extends Final>);//  simpleOut(Out<? extends Final>)
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/jvmWildcardAnnotations.java

@@ -0,0 +1,33 @@
+public final class JvmWildcardAnnotationsKt /* JvmWildcardAnnotationsKt*/ {
+  @kotlin.jvm.JvmSuppressWildcards(suppress = false)
+  @org.jetbrains.annotations.NotNull()
+  public static final Out<? extends Open> bar();//  bar()
+
+  @kotlin.jvm.JvmSuppressWildcards(suppress = false)
+  public static final int foo(boolean, @org.jetbrains.annotations.NotNull() Out<? extends java.lang.Integer>);//  foo(boolean, Out<? extends java.lang.Integer>)
+
+  @kotlin.jvm.JvmSuppressWildcards(suppress = true)
+  @org.jetbrains.annotations.NotNull()
+  public static final In<Open> foo3();//  foo3()
+
+  @kotlin.jvm.JvmSuppressWildcards(suppress = true)
+  @org.jetbrains.annotations.NotNull()
+  public static final Out<error.NonExistentClass> foo2();//  foo2()
+
+  @kotlin.jvm.JvmSuppressWildcards(suppress = true)
+  public static final int bar(boolean, @org.jetbrains.annotations.NotNull() In<java.lang.Long>, long);//  bar(boolean, In<java.lang.Long>, long)
+
+  @kotlin.jvm.JvmSuppressWildcards(suppress = true)
+  public static final void deepOpen(@org.jetbrains.annotations.NotNull() Out<Out<Out<Open>>>);//  deepOpen(Out<Out<Out<Open>>>)
+
+  @org.jetbrains.annotations.NotNull()
+  public static final OutPair<? extends Final, OutPair<Out<Final>, Out<? extends Final>>> falseTrueFalse();//  falseTrueFalse()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final OutPair<Open, ? extends OutPair<Open,? extends Out<Open>>> combination();//  combination()
+
+  public static final void simpleIn(@org.jetbrains.annotations.NotNull() In<? super java.lang.Object>);//  simpleIn(In<? super java.lang.Object>)
+
+  public static final void simpleOut(@org.jetbrains.annotations.NotNull() Out<? extends Final>);//  simpleOut(Out<? extends Final>)
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/jvmWildcardAnnotations.kt

@@ -0,0 +1,32 @@
+class Inv<E>
+class Out<out T>
+class OutPair<out Final, out Y>
+class In<in Z>
+
+class Final
+open class Open
+
+@JvmSuppressWildcards(true)
+fun deepOpen(x: Out<Out<Out<Open>>>) {}
+
+@JvmSuppressWildcards(false)
+fun bar(): Out<Open> = null!!
+
+fun simpleOut(x: Out<@JvmWildcard Final>) {}
+fun simpleIn(x: In<@JvmWildcard Any?>) {}
+
+fun falseTrueFalse(): @JvmSuppressWildcards(false) OutPair<Final, @JvmSuppressWildcards OutPair<Out<Final>, Out<@JvmSuppressWildcards(false) Final>>> = null!!
+fun combination(): @JvmSuppressWildcards OutPair<Open, @JvmWildcard OutPair<Open, @JvmWildcard Out<Open>>> = null!!
+
+@JvmSuppressWildcards(false)
+fun foo(x: Boolean, y: Out<Int>): Int = 1
+
+@JvmSuppressWildcards(true)
+fun bar(x: Boolean, y: In<Long>, z: @JvmSuppressWildcards(false) Long): Int = 1
+
+@JvmSuppressWildcards(true)
+fun foo2(): Out<T>
+
+@JvmSuppressWildcards(true)
+fun foo3(): In<Open>
+// COMPILATION_ERRORS

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/lateinitProperty.fir.java

@@ -0,0 +1,28 @@
+public final class LateinitPropertyKt /* LateinitPropertyKt*/ {
+  private static java.lang.String b;
+
+  private static java.lang.String c;
+
+  public static java.lang.String a;
+
+  public static java.lang.String d;
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String getA();//  getA()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String getB();//  getB()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String getC();//  getC()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String getD();//  getD()
+
+  protected static final void setC(@org.jetbrains.annotations.NotNull() java.lang.String);//  setC(java.lang.String)
+
+  public static final void setA(@org.jetbrains.annotations.NotNull() java.lang.String);//  setA(java.lang.String)
+
+  public static final void setD(@org.jetbrains.annotations.NotNull() java.lang.String);//  setD(java.lang.String)
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/lateinitProperty.java

@@ -0,0 +1,28 @@
+public final class LateinitPropertyKt /* LateinitPropertyKt*/ {
+  private static java.lang.String b;
+
+  protected static java.lang.String c;
+
+  public static java.lang.String a;
+
+  public static java.lang.String d;
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String getA();//  getA()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String getB();//  getB()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String getC();//  getC()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String getD();//  getD()
+
+  protected static final void setC(@org.jetbrains.annotations.NotNull() java.lang.String);//  setC(java.lang.String)
+
+  public static final void setA(@org.jetbrains.annotations.NotNull() java.lang.String);//  setA(java.lang.String)
+
+  public static final void setD(@org.jetbrains.annotations.NotNull() java.lang.String);//  setD(java.lang.String)
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/lateinitProperty.kt

@@ -0,0 +1,11 @@
+lateinit var a: String
+
+lateinit var b: String
+	private set
+
+lateinit var c: String
+	protected set
+
+lateinit var d: String
+	internal set
+// COMPILATION_ERRORS

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/multifileFacade.fir.java

@@ -0,0 +1,8 @@
+public final class multifileFacade /* multifileFacade*/ {
+  public static final int x1 = 42 /* initializer type: int */ /* constant value 42 */;
+
+  public static final int foo();//  foo()
+
+  public static final int getX();//  getX()
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/multifileFacade.java

@@ -0,0 +1,14 @@
+public final class multifileFacade /* multifileFacade*/ {
+  public static final int x1 = 42 /* initializer type: int */ /* constant value 42 */;
+
+  public static final int y1 = 42 /* initializer type: int */ /* constant value 42 */;
+
+  public static final int bar();//  bar()
+
+  public static final int foo();//  foo()
+
+  public static final int getX();//  getX()
+
+  public static final int getY();//  getY()
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/multifileFacade.kt

@@ -0,0 +1,10 @@
+@file:JvmMultifileClass
+@file:JvmName("multifileFacade")
+
+fun foo() = 42
+
+val x = 24
+
+private fun privateFoo(): Int = 3
+
+const val x1 = 42

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/multifileFacade.kt.1

@@ -0,0 +1,8 @@
+@file:JvmMultifileClass
+@file:JvmName("multifileFacade")
+
+fun bar() = 24
+
+val y = 24
+
+const val y1 = 42

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/multifileFacade.lib.java

@@ -0,0 +1,8 @@
+public final class multifileFacade /* multifileFacade*/ {
+  public static final int x1 = 42 /* initializer type: int */ /* constant value 42 */;
+
+  public static final int foo();//  foo()
+
+  public static final int getX();//  getX()
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/multifileFacadeJvmName.fir.java

@@ -0,0 +1,4 @@
+public final class multifileFacade /* multifileFacade*/ {
+  public static final int foo();//  foo()
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/multifileFacadeJvmName.java

@@ -0,0 +1,9 @@
+public final class multifileFacade /* multifileFacade*/ {
+  public static final int foo();//  foo()
+
+}
+
+public final class otherMultifileFacade /* otherMultifileFacade*/ {
+  public static final int bar();//  bar()
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/multifileFacadeJvmName.kt

@@ -0,0 +1,6 @@
+@file:JvmMultifileClass
+@file:JvmName("multifileFacade")
+
+fun foo() = 42
+
+// FIR_COMPARISON

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/multifileFacadeJvmName.kt.1

@@ -0,0 +1,4 @@
+@file:JvmMultifileClass
+@file:JvmName("otherMultifileFacade")
+
+fun bar() = 24

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/multifileFacadeJvmName.lib.java

@@ -0,0 +1,4 @@
+public final class multifileFacade /* multifileFacade*/ {
+  public static final int foo();//  foo()
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/properties.fir.java

@@ -0,0 +1,180 @@
+public final class PropertiesKt /* PropertiesKt*/ {
+  @org.jetbrains.annotations.NotNull()
+  private static final error.NonExistentClass delegatedProp$delegate;
+
+  @org.jetbrains.annotations.NotNull()
+  private static final java.lang.Object arrayConst;
+
+  @org.jetbrains.annotations.NotNull()
+  private static final java.lang.String x = "" /* initializer type: java.lang.String */;
+
+  @org.jetbrains.annotations.NotNull()
+  private static final kotlin.Lazy<java.lang.String> lazyProp$delegate;
+
+  @org.jetbrains.annotations.NotNull()
+  private static final kotlin.jvm.functions.Function1<java.lang.Integer, java.lang.Integer> sum;
+
+  @org.jetbrains.annotations.NotNull()
+  private static java.lang.String name = "x" /* initializer type: java.lang.String */;
+
+  @org.jetbrains.annotations.NotNull()
+  private static java.lang.String protectedWithPrivateSet = "" /* initializer type: java.lang.String */;
+
+  @org.jetbrains.annotations.NotNull()
+  private static java.lang.String x$1 = "" /* initializer type: java.lang.String */;
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String SUBSYSTEM_DEPRECATED = "This subsystem is deprecated" /* initializer type: java.lang.String */ /* constant value This subsystem is deprecated */;
+
+  @org.jetbrains.annotations.Nullable()
+  private static java.lang.Boolean isEmptyMutable;
+
+  @org.jetbrains.annotations.Nullable()
+  private static java.lang.Boolean islowercase;
+
+  @org.jetbrains.annotations.Nullable()
+  private static java.lang.Integer counter2;
+
+  @org.jetbrains.annotations.Nullable()
+  private static java.lang.Integer getInt;
+
+  @org.jetbrains.annotations.Nullable()
+  private static java.lang.Integer isEmptyInt;
+
+  private static final error.NonExistentClass delegatedProp2$delegate;
+
+  private static final error.NonExistentClass intConst = 30 /* initializer type: int */;
+
+  private static final int f1 = 2 /* initializer type: int */;
+
+  private static final int plainField = 1 /* initializer type: int */;
+
+  private static final int privateVal = 42 /* initializer type: int */;
+
+  private static final int privateVar = 42 /* initializer type: int */;
+
+  private static int counter = 0 /* initializer type: int */;
+
+  private static int f2 = 3 /* initializer type: int */;
+
+  private static int int1;
+
+  private static int int2;
+
+  private static int internalWithPrivateSet = 1 /* initializer type: int */;
+
+  private static java.lang.String internalVarPrivateSet;
+
+  private static java.lang.String protectedLateinitVar;
+
+  public static error.NonExistentClass subject;
+
+  @org.jetbrains.annotations.NotNull()
+  protected static final java.lang.String getProtectedLateinitVar();//  getProtectedLateinitVar()
+
+  @org.jetbrains.annotations.NotNull()
+  protected static final java.lang.String getProtectedWithPrivateSet();//  getProtectedWithPrivateSet()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.Object getArrayConst();//  getArrayConst()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String getDelegatedProp();//  getDelegatedProp()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String getInternalVarPrivateSet();//  getInternalVarPrivateSet()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String getLazyProp();//  getLazyProp()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String getName();//  getName()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String getStringRepresentation();//  getStringRepresentation()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String getX();//  getX()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String getX();//  getX()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final kotlin.jvm.functions.Function1<java.lang.Integer, java.lang.Integer> getSum();//  getSum()
+
+  @org.jetbrains.annotations.Nullable()
+  public static final java.lang.Boolean getIslowercase();//  getIslowercase()
+
+  @org.jetbrains.annotations.Nullable()
+  public static final java.lang.Boolean isEmptyMutable();//  isEmptyMutable()
+
+  @org.jetbrains.annotations.Nullable()
+  public static final java.lang.Integer getCounter2();//  getCounter2()
+
+  @org.jetbrains.annotations.Nullable()
+  public static final java.lang.Integer getGetInt();//  getGetInt()
+
+  @org.jetbrains.annotations.Nullable()
+  public static final java.lang.Integer isEmptyInt();//  isEmptyInt()
+
+  private static final int privateFun();//  privateFun()
+
+  protected static final int getF2();//  getF2()
+
+  protected static final int getInt1();//  getInt1()
+
+  protected static final void setF2(int);//  setF2(int)
+
+  protected static final void setProtectedLateinitVar(@org.jetbrains.annotations.NotNull() java.lang.String);//  setProtectedLateinitVar(java.lang.String)
+
+  public static final boolean isEmpty();//  isEmpty()
+
+  public static final error.NonExistentClass getDelegatedProp2();//  getDelegatedProp2()
+
+  public static final error.NonExistentClass getIntConst();//  getIntConst()
+
+  public static final error.NonExistentClass getSubject();//  getSubject()
+
+  public static final int getCounter();//  getCounter()
+
+  public static final int getF1();//  getF1()
+
+  public static final int getInt2();//  getInt2()
+
+  public static final int getIntProp(@org.jetbrains.annotations.NotNull() int);//  getIntProp(int)
+
+  public static final int getInternalWithPrivateSet();//  getInternalWithPrivateSet()
+
+  public static final int getPlainField();//  getPlainField()
+
+  public static final int getValue(error.NonExistentClass, @org.jetbrains.annotations.NotNull() kotlin.reflect.KProperty<?>);//  getValue(error.NonExistentClass, kotlin.reflect.KProperty<?>)
+
+  public static final void setCounter(int);//  setCounter(int)
+
+  public static final void setCounter2(@org.jetbrains.annotations.Nullable() java.lang.Integer);//  setCounter2(java.lang.Integer)
+
+  public static final void setDelegatedProp(@org.jetbrains.annotations.NotNull() java.lang.String);//  setDelegatedProp(java.lang.String)
+
+  public static final void setDelegatedProp2(error.NonExistentClass);//  setDelegatedProp2(error.NonExistentClass)
+
+  public static final void setEmptyInt(@org.jetbrains.annotations.Nullable() java.lang.Integer);//  setEmptyInt(java.lang.Integer)
+
+  public static final void setEmptyMutable(@org.jetbrains.annotations.Nullable() java.lang.Boolean);//  setEmptyMutable(java.lang.Boolean)
+
+  public static final void setGetInt(@org.jetbrains.annotations.Nullable() java.lang.Integer);//  setGetInt(java.lang.Integer)
+
+  public static final void setInt2(int);//  setInt2(int)
+
+  public static final void setIslowercase(@org.jetbrains.annotations.Nullable() java.lang.Boolean);//  setIslowercase(java.lang.Boolean)
+
+  public static final void setLazyProp(@org.jetbrains.annotations.NotNull() java.lang.String);//  setLazyProp(java.lang.String)
+
+  public static final void setName(@org.jetbrains.annotations.NotNull() java.lang.String);//  setName(java.lang.String)
+
+  public static final void setStringRepresentation(@org.jetbrains.annotations.NotNull() java.lang.String);//  setStringRepresentation(java.lang.String)
+
+  public static final void setSubject(error.NonExistentClass);//  setSubject(error.NonExistentClass)
+
+  public static final void setValue(error.NonExistentClass, @org.jetbrains.annotations.NotNull() kotlin.reflect.KProperty<?>, int);//  setValue(error.NonExistentClass, kotlin.reflect.KProperty<?>, int)
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/properties.java

@@ -0,0 +1,175 @@
+public final class PropertiesKt /* PropertiesKt*/ {
+  @org.jetbrains.annotations.NotNull()
+  private static final java.lang.Object arrayConst;
+
+  @org.jetbrains.annotations.NotNull()
+  private static final java.lang.String x;
+
+  @org.jetbrains.annotations.NotNull()
+  private static final kotlin.jvm.functions.Function1<java.lang.Integer, java.lang.Integer> sum;
+
+  @org.jetbrains.annotations.NotNull()
+  private static java.lang.String name;
+
+  @org.jetbrains.annotations.NotNull()
+  private static java.lang.String protectedWithPrivateSet;
+
+  @org.jetbrains.annotations.NotNull()
+  private static java.lang.String x$1;
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String SUBSYSTEM_DEPRECATED = "This subsystem is deprecated" /* initializer type: java.lang.String */ /* constant value This subsystem is deprecated */;
+
+  @org.jetbrains.annotations.Nullable()
+  private static java.lang.Boolean isEmptyMutable;
+
+  @org.jetbrains.annotations.Nullable()
+  private static java.lang.Boolean islowercase;
+
+  @org.jetbrains.annotations.Nullable()
+  private static java.lang.Integer getInt;
+
+  @org.jetbrains.annotations.Nullable()
+  private static java.lang.Integer isEmptyInt;
+
+  private static final error.NonExistentClass delegatedProp$delegate;
+
+  private static final error.NonExistentClass delegatedProp2$delegate;
+
+  private static final error.NonExistentClass lazyProp$delegate;
+
+  private static final int f1;
+
+  private static final int plainField;
+
+  private static final int privateVal;
+
+  private static final int privateVar;
+
+  private static final java.lang.Void intConst;
+
+  private static int counter;
+
+  private static int f2;
+
+  private static int int1;
+
+  private static int int2;
+
+  private static int internalWithPrivateSet;
+
+  private static java.lang.String internalVarPrivateSet;
+
+  protected static java.lang.String protectedLateinitVar;
+
+  public static error.NonExistentClass subject;
+
+  @org.jetbrains.annotations.NotNull()
+  protected static final java.lang.String getProtectedLateinitVar();//  getProtectedLateinitVar()
+
+  @org.jetbrains.annotations.NotNull()
+  protected static final java.lang.String getProtectedWithPrivateSet();//  getProtectedWithPrivateSet()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.Object getArrayConst();//  getArrayConst()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String getDelegatedProp();//  getDelegatedProp()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String getInternalVarPrivateSet();//  getInternalVarPrivateSet()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String getLazyProp();//  getLazyProp()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String getName();//  getName()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String getStringRepresentation();//  getStringRepresentation()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String getX();//  getX()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String getX();//  getX()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final kotlin.jvm.functions.Function1<java.lang.Integer, java.lang.Integer> getSum();//  getSum()
+
+  @org.jetbrains.annotations.Nullable()
+  public static final java.lang.Boolean getIslowercase();//  getIslowercase()
+
+  @org.jetbrains.annotations.Nullable()
+  public static final java.lang.Boolean isEmptyMutable();//  isEmptyMutable()
+
+  @org.jetbrains.annotations.Nullable()
+  public static final java.lang.Integer getCounter2();//  getCounter2()
+
+  @org.jetbrains.annotations.Nullable()
+  public static final java.lang.Integer getGetInt();//  getGetInt()
+
+  @org.jetbrains.annotations.Nullable()
+  public static final java.lang.Integer isEmptyInt();//  isEmptyInt()
+
+  private static final int privateFun();//  privateFun()
+
+  protected static final int getF2();//  getF2()
+
+  protected static final int getInt1();//  getInt1()
+
+  protected static final void setF2(int);//  setF2(int)
+
+  protected static final void setProtectedLateinitVar(@org.jetbrains.annotations.NotNull() java.lang.String);//  setProtectedLateinitVar(java.lang.String)
+
+  public static final boolean isEmpty();//  isEmpty()
+
+  public static final error.NonExistentClass getDelegatedProp2();//  getDelegatedProp2()
+
+  public static final error.NonExistentClass getSubject();//  getSubject()
+
+  public static final int getCounter();//  getCounter()
+
+  public static final int getF1();//  getF1()
+
+  public static final int getInt2();//  getInt2()
+
+  public static final int getIntProp(int);//  getIntProp(int)
+
+  public static final int getInternalWithPrivateSet();//  getInternalWithPrivateSet()
+
+  public static final int getPlainField();//  getPlainField()
+
+  public static final int getValue(error.NonExistentClass, @org.jetbrains.annotations.NotNull() kotlin.reflect.KProperty<?>);//  getValue(error.NonExistentClass, kotlin.reflect.KProperty<?>)
+
+  public static final java.lang.Void getIntConst();//  getIntConst()
+
+  public static final void setCounter(int);//  setCounter(int)
+
+  public static final void setCounter2(@org.jetbrains.annotations.Nullable() java.lang.Integer);//  setCounter2(java.lang.Integer)
+
+  public static final void setDelegatedProp(@org.jetbrains.annotations.NotNull() java.lang.String);//  setDelegatedProp(java.lang.String)
+
+  public static final void setDelegatedProp2(error.NonExistentClass);//  setDelegatedProp2(error.NonExistentClass)
+
+  public static final void setEmptyInt(@org.jetbrains.annotations.Nullable() java.lang.Integer);//  setEmptyInt(java.lang.Integer)
+
+  public static final void setEmptyMutable(@org.jetbrains.annotations.Nullable() java.lang.Boolean);//  setEmptyMutable(java.lang.Boolean)
+
+  public static final void setGetInt(@org.jetbrains.annotations.Nullable() java.lang.Integer);//  setGetInt(java.lang.Integer)
+
+  public static final void setInt2(int);//  setInt2(int)
+
+  public static final void setIslowercase(@org.jetbrains.annotations.Nullable() java.lang.Boolean);//  setIslowercase(java.lang.Boolean)
+
+  public static final void setLazyProp(@org.jetbrains.annotations.NotNull() java.lang.String);//  setLazyProp(java.lang.String)
+
+  public static final void setName(@org.jetbrains.annotations.NotNull() java.lang.String);//  setName(java.lang.String)
+
+  public static final void setStringRepresentation(@org.jetbrains.annotations.NotNull() java.lang.String);//  setStringRepresentation(java.lang.String)
+
+  public static final void setSubject(error.NonExistentClass);//  setSubject(error.NonExistentClass)
+
+  public static final void setValue(error.NonExistentClass, @org.jetbrains.annotations.NotNull() kotlin.reflect.KProperty<?>, int);//  setValue(error.NonExistentClass, kotlin.reflect.KProperty<?>, int)
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/properties.kt

@@ -0,0 +1,78 @@
+
+import kotlin.reflect.KProperty
+
+val f1 = 2
+
+val intConst: dynamic = 30
+val arrayConst: Any = byteArrayOf(1,2)
+
+protected var f2 = 3
+
+var name: String = "x"
+
+val isEmpty get() = false
+var isEmptyMutable: Boolean?
+var islowercase: Boolean?
+var isEmptyInt: Int?
+var getInt: Int?
+
+internal var stringRepresentation: String
+get() = this.toString()
+set(value) {
+	setDataFromString(value)
+}
+
+const val SUBSYSTEM_DEPRECATED: String = "This subsystem is deprecated"
+
+var counter = 0
+set(value) {
+	if (value >= 0) field = value
+}
+var counter2 : Int?
+get() = field
+set(value) {
+	if (value >= 0) field = value
+}
+
+lateinit var subject: Unresolved
+internal lateinit var internalVarPrivateSet: String
+private set
+protected lateinit var protectedLateinitVar: String
+
+var delegatedProp: String by Delegate()
+var delegatedProp2 by MyProperty()
+
+var lazyProp: String by lazy { "abc" }
+
+val Int.intProp: Int
+get() = 1
+
+final internal var internalWithPrivateSet: Int = 1
+private  set
+
+protected var protectedWithPrivateSet: String = ""
+private set
+
+val sum: (Int)->Int = { x: Int -> sum(x - 1) + x }
+
+operator fun getValue(t: T, p: KProperty<*>): Int = 42
+operator fun setValue(t: T, p: KProperty<*>, i: Int) {}
+
+@delegate:Transient
+val plainField: Int = 1
+
+public var int1: Int
+	private set
+	protected get
+public var int2: Int
+	public get
+	internal set
+
+private val privateVal: Int = 42
+private val privateVar: Int = 42
+private fun privateFun(): Int = 42
+val x: String = ""
+	get;
+var x: String = ""
+	private set;
+// COMPILATION_ERRORS

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/simpleFunctions.fir.java

@@ -0,0 +1,19 @@
+public final class SimpleFunctionsKt /* SimpleFunctionsKt*/ {
+  @org.jetbrains.annotations.NotNull()
+  public static final native java.lang.String externalFun(int);//  externalFun(int)
+
+  private static final /* vararg */ java.lang.String bar3(error.NonExistentClass, @org.jetbrains.annotations.NotNull() error.NonExistentClass...);//  bar3(error.NonExistentClass, error.NonExistentClass[])
+
+  public static final /* vararg */ void nullableVararg(@org.jetbrains.annotations.NotNull() java.lang.Object...);//  nullableVararg(java.lang.Object[])
+
+  public static final error.NonExistentClass onString(@org.jetbrains.annotations.NotNull() java.lang.String, @org.jetbrains.annotations.NotNull() kotlin.jvm.functions.Function1<? super java.lang.Integer, ? extends java.lang.Object>);//  onString(java.lang.String, kotlin.jvm.functions.Function1<? super java.lang.Integer, ? extends java.lang.Object>)
+
+  public static final error.NonExistentClass plus(int);//  plus(int)
+
+  public static final int bar4();//  bar4()
+
+  public static final void bar(int, @org.jetbrains.annotations.NotNull() java.lang.Object, error.NonExistentClass);//  bar(int, java.lang.Object, error.NonExistentClass)
+
+  public static final void bar2(error.NonExistentClass, error.NonExistentClass);//  bar2(error.NonExistentClass, error.NonExistentClass)
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/simpleFunctions.java

@@ -0,0 +1,19 @@
+public final class SimpleFunctionsKt /* SimpleFunctionsKt*/ {
+  @org.jetbrains.annotations.NotNull()
+  public static final native java.lang.String externalFun(int);//  externalFun(int)
+
+  private static final /* vararg */ java.lang.String bar3(error.NonExistentClass, error.NonExistentClass...);//  bar3(error.NonExistentClass, error.NonExistentClass[])
+
+  public static final /* vararg */ void nullableVararg(@org.jetbrains.annotations.Nullable() java.lang.Object...);//  nullableVararg(java.lang.Object[])
+
+  public static final error.NonExistentClass onString(@org.jetbrains.annotations.NotNull() java.lang.String, @org.jetbrains.annotations.NotNull() kotlin.jvm.functions.Function1<? super java.lang.Integer, ? extends java.lang.Object>);//  onString(java.lang.String, kotlin.jvm.functions.Function1<? super java.lang.Integer, ? extends java.lang.Object>)
+
+  public static final error.NonExistentClass plus(int);//  plus(int)
+
+  public static final int bar4();//  bar4()
+
+  public static final void bar2(error.NonExistentClass, error.NonExistentClass);//  bar2(error.NonExistentClass, error.NonExistentClass)
+
+  public static void bar(int, @org.jetbrains.annotations.NotNull() java.lang.Object, error.NonExistentClass);//  bar(int, java.lang.Object, error.NonExistentClass)
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/simpleFunctions.kt

@@ -0,0 +1,12 @@
+open fun bar(a: Int, b:Any, c:Foo): Unit {}
+internal fun bar2(a: Sequence, b: Unresolved) {}
+private fun bar3(x: Foo.Inner, vararg y: Inner) = "str"
+fun bar4() = 42
+
+public fun nullableVararg(vararg o: Any?): Unit
+
+operator fun plus(increment: Int): Foo {}
+fun String.onString(a: (Int) -> Any?): Foo {}
+
+external fun externalFun(a: Int): String { return "" }
+// COMPILATION_ERRORS

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/throwsAnnotation.fir.java

@@ -0,0 +1,14 @@
+public final class MyException /* MyException*/ extends java.lang.Exception {
+  public  MyException();//  .ctor()
+
+}
+
+public final class ThrowsAnnotationKt /* ThrowsAnnotationKt*/ {
+  @kotlin.jvm.Throws(exceptionClasses = {java.io.IOException.class, MyException.class})
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String readFile(@org.jetbrains.annotations.NotNull() java.lang.String) throws java.io.IOException, MyException;//  readFile(java.lang.String)
+
+  @kotlin.jvm.Throws(exceptionClasses = {java.lang.Throwable.class})
+  public static final void baz() throws java.lang.Throwable;//  baz()
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/throwsAnnotation.java

@@ -0,0 +1,9 @@
+public final class ThrowsAnnotationKt /* ThrowsAnnotationKt*/ {
+  @kotlin.jvm.Throws(exceptionClasses = {java.io.IOException::class, MyException::class})
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String readFile(@org.jetbrains.annotations.NotNull() java.lang.String) throws java.io.IOException, MyException;//  readFile(java.lang.String)
+
+  @kotlin.jvm.Throws(exceptionClasses = {kotlin.Throwable::class})
+  public static final void baz() throws java.lang.Throwable;//  baz()
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/throwsAnnotation.kt

@@ -0,0 +1,9 @@
+
+class MyException : Exception()
+
+@Throws(java.io.IOException::class, MyException::class)
+fun readFile(name: String): String { TODO() }
+
+// Should be mapped to java.lang.Throwable
+@Throws(kotlin.Throwable::class)
+fun baz() {}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/throwsAnnotation.lib.java

@@ -0,0 +1,12 @@
+public final class MyException /* MyException*/ extends java.lang.Exception {
+  public  MyException();//  .ctor()
+
+}
+
+public final class ThrowsAnnotationKt /* ThrowsAnnotationKt*/ {
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String readFile(@org.jetbrains.annotations.NotNull() java.lang.String) throws java.io.IOException, MyException;//  readFile(java.lang.String)
+
+  public static final void baz() throws java.lang.Throwable;//  baz()
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/wildcardOptimization.java

@@ -0,0 +1,107 @@
+public final class Inv /* Inv*/<E>  {
+  public  Inv();//  .ctor()
+
+}
+
+public final class Out /* Out*/<T>  {
+  public  Out();//  .ctor()
+
+}
+
+public final class OutPair /* OutPair*/<Final, Y>  {
+  public  OutPair();//  .ctor()
+
+}
+
+public final class In /* In*/<Z>  {
+  public  In();//  .ctor()
+
+}
+
+public final class Final /* Final*/ {
+  public  Final();//  .ctor()
+
+}
+
+public class Open /* Open*/ {
+  public  Open();//  .ctor()
+
+}
+
+public final class WildcardOptimizationKt /* WildcardOptimizationKt*/ {
+  @org.jetbrains.annotations.NotNull()
+  public static final In<Final> notDeepIn();//  notDeepIn()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final Inv<? super Out<? extends Open>> skipWildcardsUntilInProjection();//  skipWildcardsUntilInProjection()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final Inv<In<Out<? extends Open>>> skipAllInvWildcards();//  skipAllInvWildcards()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final Inv<OutPair<Open, Out<Out<Open>>>> skipAllOutInvWildcards();//  skipAllOutInvWildcards()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final Out<In<Out<? extends Open>>> skipWildcardsUntilIn0();//  skipWildcardsUntilIn0()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final Out<In<Out<Final>>> skipWildcardsUntilIn1();//  skipWildcardsUntilIn1()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final Out<In<OutPair<Final, ? extends Out<? extends Open>>>> skipWildcardsUntilIn2();//  skipWildcardsUntilIn2()
+
+  public static final <Q extends Final> void typeParameter(@org.jetbrains.annotations.NotNull() Out<? extends Q>, @org.jetbrains.annotations.NotNull() In<? super Q>);// <Q extends Final>  typeParameter(Out<? extends Q>, In<? super Q>)
+
+  public static final void arrayOfOutFinal(@org.jetbrains.annotations.NotNull() Out<Final>[]);//  arrayOfOutFinal(Out<Final>[])
+
+  public static final void arrayOfOutOpen(@org.jetbrains.annotations.NotNull() Out<Open>[]);//  arrayOfOutOpen(Out<Open>[])
+
+  public static final void deepFinal(@org.jetbrains.annotations.NotNull() Out<Out<Out<Final>>>);//  deepFinal(Out<Out<Out<Final>>>)
+
+  public static final void deepOpen(@org.jetbrains.annotations.NotNull() Out<? extends Out<? extends Out<? extends Open>>>);//  deepOpen(Out<? extends Out<? extends Out<? extends Open>>>)
+
+  public static final void finalClassArgument(@org.jetbrains.annotations.NotNull() Out<Final>, @org.jetbrains.annotations.NotNull() In<? super Final>);//  finalClassArgument(Out<Final>, In<? super Final>)
+
+  public static final void inAny(@org.jetbrains.annotations.NotNull() In<java.lang.Object>);//  inAny(In<java.lang.Object>)
+
+  public static final void inFinal(@org.jetbrains.annotations.NotNull() In<? super Final>);//  inFinal(In<? super Final>)
+
+  public static final void inOutFinal(@org.jetbrains.annotations.NotNull() In<? super Out<Final>>);//  inOutFinal(In<? super Out<Final>>)
+
+  public static final void invFinal(@org.jetbrains.annotations.NotNull() Inv<Final>);//  invFinal(Inv<Final>)
+
+  public static final void invIn(@org.jetbrains.annotations.NotNull() Out<? extends Inv<? super Final>>);//  invIn(Out<? extends Inv<? super Final>>)
+
+  public static final void invInAny(@org.jetbrains.annotations.NotNull() Out<Inv<? super java.lang.Object>>);//  invInAny(Out<Inv<? super java.lang.Object>>)
+
+  public static final void invInOutFinal(@org.jetbrains.annotations.NotNull() Inv<In<Out<Final>>>);//  invInOutFinal(Inv<In<Out<Final>>>)
+
+  public static final void invInOutOpen(@org.jetbrains.annotations.NotNull() Inv<In<Out<? extends Open>>>);//  invInOutOpen(Inv<In<Out<? extends Open>>>)
+
+  public static final void invInv(@org.jetbrains.annotations.NotNull() Out<Inv<Open>>);//  invInv(Out<Inv<Open>>)
+
+  public static final void invOpen(@org.jetbrains.annotations.NotNull() Inv<Open>);//  invOpen(Inv<Open>)
+
+  public static final void invOut(@org.jetbrains.annotations.NotNull() Out<? extends Inv<? extends Open>>);//  invOut(Out<? extends Inv<? extends Open>>)
+
+  public static final void invOutFinal(@org.jetbrains.annotations.NotNull() Inv<Out<Final>>);//  invOutFinal(Inv<Out<Final>>)
+
+  public static final void invOutFinal(@org.jetbrains.annotations.NotNull() Out<Inv<? extends Final>>);//  invOutFinal(Out<Inv<? extends Final>>)
+
+  public static final void invOutOpen(@org.jetbrains.annotations.NotNull() Inv<Out<Open>>);//  invOutOpen(Inv<Out<Open>>)
+
+  public static final void invOutProjectedOutFinal(@org.jetbrains.annotations.NotNull() Inv<? extends Out<Final>>);//  invOutProjectedOutFinal(Inv<? extends Out<Final>>)
+
+  public static final void oneArgumentFinal(@org.jetbrains.annotations.NotNull() OutPair<Final, ? extends Open>);//  oneArgumentFinal(OutPair<Final, ? extends Open>)
+
+  public static final void openClassArgument(@org.jetbrains.annotations.NotNull() Out<? extends Open>, @org.jetbrains.annotations.NotNull() In<? super Open>);//  openClassArgument(Out<? extends Open>, In<? super Open>)
+
+  public static final void outIn(@org.jetbrains.annotations.NotNull() Out<? extends In<? super Final>>);//  outIn(Out<? extends In<? super Final>>)
+
+  public static final void outInAny(@org.jetbrains.annotations.NotNull() Out<In<java.lang.Object>>);//  outInAny(Out<In<java.lang.Object>>)
+
+  public static final void outOfArrayOpen(@org.jetbrains.annotations.NotNull() Out<Open[]>);//  outOfArrayOpen(Out<Open[]>)
+
+  public static final void outOfArrayOutOpen(@org.jetbrains.annotations.NotNull() Out<? extends Open[]>);//  outOfArrayOutOpen(Out<? extends Open[]>)
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/wildcardOptimization.kt

@@ -0,0 +1,51 @@
+class Inv<E>
+class Out<out T>
+class OutPair<out Final, out Y>
+class In<in Z>
+
+class Final
+open class Open
+
+// The signatures are obtained from compiler/testData/writeSignature/declarationSiteVariance/wildcardOptimization
+fun openClassArgument(x: Out<Open>, y: In<Open>) {}
+fun finalClassArgument(x: Out<Final>, y: In<Final>) {}
+fun oneArgumentFinal(x: OutPair<Final, Open>) {}
+
+fun arrayOfOutOpen(x: Array<Out<Open>>) {}
+fun arrayOfOutFinal(x: Array<Out<Final>>) {}
+fun outOfArrayOpen(x: Out<Array<Open>>) {}
+fun outOfArrayOutOpen(x: Out<Array<out Open>>) {}
+
+fun deepOpen(x: Out<Out<Out<Open>>>) {}
+fun deepFinal(x: Out<Out<Out<Final>>>) {}
+
+fun skipAllOutInvWildcards(): Inv<OutPair<Open, Out<Out<Open>>>> = null!!
+fun skipAllInvWildcards(): Inv<In<Out<Open>>> = null!!
+fun notDeepIn(): In<Final> = null!!
+fun skipWildcardsUntilIn0(): Out<In<Out<Open>>> = null!!
+fun skipWildcardsUntilIn1(): Out<In<Out<Final>>> = null!!
+fun skipWildcardsUntilIn2(): Out<In<OutPair<Final, Out<Open>>>> = null!!
+fun skipWildcardsUntilInProjection(): Inv<in Out<Open>> = null!!
+
+fun outIn(x: Out<In<Final>>) {}
+fun outInAny(x: Out<In<Any?>>) {}
+
+fun invInv(x: Out<Inv<Open>>) {}
+fun invOut(x: Out<Inv<out Open>>) {}
+fun invOutFinal(x: Out<Inv<out Final>>) {}
+fun invIn(x: Out<Inv<in Final>>) {}
+fun invInAny(x: Out<Inv<in Any>>) {}
+
+fun inFinal(x: In<Final>) {}
+fun inAny(x: In<Any>) {}
+fun inOutFinal(x: In<Out<Final>>) {}
+
+fun invOpen(x: Inv<Open>) {}
+fun invFinal(x: Inv<Final>) {}
+fun invOutOpen(x: Inv<Out<Open>>) {}
+fun invOutFinal(x: Inv<Out<Final>>) {}
+fun invInOutOpen(x: Inv<In<Out<Open>>>) {}
+fun invInOutFinal(x: Inv<In<Out<Final>>>) {}
+fun invOutProjectedOutFinal(x: Inv<out Out<Final>>) {}
+
+fun <Q : Final> typeParameter(x: Out<Q>, y: In<Q>) {}

compiler/testData/asJava/lightClasses/lightClassByPsi/facades/wildcardOptimization.lib.java

@@ -0,0 +1,107 @@
+public final class Out /* Out*/<T>  {
+  public  Out();//  .ctor()
+
+}
+
+public class Open /* Open*/ {
+  public  Open();//  .ctor()
+
+}
+
+public final class OutPair /* OutPair*/<Final, Y>  {
+  public  OutPair();//  .ctor()
+
+}
+
+public final class In /* In*/<Z>  {
+  public  In();//  .ctor()
+
+}
+
+public final class WildcardOptimizationKt /* WildcardOptimizationKt*/ {
+  @org.jetbrains.annotations.NotNull()
+  public static final In<Final> notDeepIn();//  notDeepIn()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final Inv<? super Out<? extends Open>> skipWildcardsUntilInProjection();//  skipWildcardsUntilInProjection()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final Inv<In<Out<? extends Open>>> skipAllInvWildcards();//  skipAllInvWildcards()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final Inv<OutPair<Open, Out<Out<Open>>>> skipAllOutInvWildcards();//  skipAllOutInvWildcards()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final Out<In<Out<? extends Open>>> skipWildcardsUntilIn0();//  skipWildcardsUntilIn0()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final Out<In<Out<Final>>> skipWildcardsUntilIn1();//  skipWildcardsUntilIn1()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final Out<In<OutPair<Final, ? extends Out<? extends Open>>>> skipWildcardsUntilIn2();//  skipWildcardsUntilIn2()
+
+  public static final <Q extends Final> void typeParameter(@org.jetbrains.annotations.NotNull() Out<? extends Q>, @org.jetbrains.annotations.NotNull() In<? super Q>);// <Q extends Final>  typeParameter(Out<? extends Q>, In<? super Q>)
+
+  public static final void arrayOfOutFinal(@org.jetbrains.annotations.NotNull() Out<Final>[]);//  arrayOfOutFinal(Out<Final>[])
+
+  public static final void arrayOfOutOpen(@org.jetbrains.annotations.NotNull() Out<Open>[]);//  arrayOfOutOpen(Out<Open>[])
+
+  public static final void deepFinal(@org.jetbrains.annotations.NotNull() Out<Out<Out<Final>>>);//  deepFinal(Out<Out<Out<Final>>>)
+
+  public static final void deepOpen(@org.jetbrains.annotations.NotNull() Out<? extends Out<? extends Out<? extends Open>>>);//  deepOpen(Out<? extends Out<? extends Out<? extends Open>>>)
+
+  public static final void finalClassArgument(@org.jetbrains.annotations.NotNull() Out<Final>, @org.jetbrains.annotations.NotNull() In<? super Final>);//  finalClassArgument(Out<Final>, In<? super Final>)
+
+  public static final void inAny(@org.jetbrains.annotations.NotNull() In<java.lang.Object>);//  inAny(In<java.lang.Object>)
+
+  public static final void inFinal(@org.jetbrains.annotations.NotNull() In<? super Final>);//  inFinal(In<? super Final>)
+
+  public static final void inOutFinal(@org.jetbrains.annotations.NotNull() In<? super Out<Final>>);//  inOutFinal(In<? super Out<Final>>)
+
+  public static final void invFinal(@org.jetbrains.annotations.NotNull() Inv<Final>);//  invFinal(Inv<Final>)
+
+  public static final void invIn(@org.jetbrains.annotations.NotNull() Out<? extends Inv<? super Final>>);//  invIn(Out<? extends Inv<? super Final>>)
+
+  public static final void invInAny(@org.jetbrains.annotations.NotNull() Out<Inv<? super java.lang.Object>>);//  invInAny(Out<Inv<? super java.lang.Object>>)
+
+  public static final void invInOutFinal(@org.jetbrains.annotations.NotNull() Inv<In<Out<Final>>>);//  invInOutFinal(Inv<In<Out<Final>>>)
+
+  public static final void invInOutOpen(@org.jetbrains.annotations.NotNull() Inv<In<Out<? extends Open>>>);//  invInOutOpen(Inv<In<Out<? extends Open>>>)
+
+  public static final void invInv(@org.jetbrains.annotations.NotNull() Out<Inv<Open>>);//  invInv(Out<Inv<Open>>)
+
+  public static final void invOpen(@org.jetbrains.annotations.NotNull() Inv<Open>);//  invOpen(Inv<Open>)
+
+  public static final void invOut(@org.jetbrains.annotations.NotNull() Out<? extends Inv<? extends Open>>);//  invOut(Out<? extends Inv<? extends Open>>)
+
+  public static final void invOutFinal(@org.jetbrains.annotations.NotNull() Inv<Out<Final>>);//  invOutFinal(Inv<Out<Final>>)
+
+  public static final void invOutFinal(@org.jetbrains.annotations.NotNull() Out<Inv<? extends Final>>);//  invOutFinal(Out<Inv<? extends Final>>)
+
+  public static final void invOutOpen(@org.jetbrains.annotations.NotNull() Inv<Out<Open>>);//  invOutOpen(Inv<Out<Open>>)
+
+  public static final void invOutProjectedOutFinal(@org.jetbrains.annotations.NotNull() Inv<? extends Out<Final>>);//  invOutProjectedOutFinal(Inv<? extends Out<Final>>)
+
+  public static final void oneArgumentFinal(@org.jetbrains.annotations.NotNull() OutPair<Final, ? extends Open>);//  oneArgumentFinal(OutPair<Final, ? extends Open>)
+
+  public static final void openClassArgument(@org.jetbrains.annotations.NotNull() Out<? extends Open>, @org.jetbrains.annotations.NotNull() In<? super Open>);//  openClassArgument(Out<? extends Open>, In<? super Open>)
+
+  public static final void outIn(@org.jetbrains.annotations.NotNull() Out<? extends In<? super Final>>);//  outIn(Out<? extends In<? super Final>>)
+
+  public static final void outInAny(@org.jetbrains.annotations.NotNull() Out<In<java.lang.Object>>);//  outInAny(Out<In<java.lang.Object>>)
+
+  public static final void outOfArrayOpen(@org.jetbrains.annotations.NotNull() Out<Open[]>);//  outOfArrayOpen(Out<Open[]>)
+
+  public static final void outOfArrayOutOpen(@org.jetbrains.annotations.NotNull() Out<? extends Open[]>);//  outOfArrayOutOpen(Out<? extends Open[]>)
+
+}
+
+public final class Inv /* Inv*/<E>  {
+  public  Inv();//  .ctor()
+
+}
+
+public final class Final /* Final*/ {
+  public  Final();//  .ctor()
+
+}

compiler/testData/asJava/lightClasses/lightClassByPsi/script.java

@@ -0,0 +1 @@
+// NOT_GENERATED

compiler/testData/asJava/lightClasses/lightClassByPsi/script.kts

@@ -0,0 +1 @@
+println("Hello, I'm in <root> package")

compiler/testData/asJava/lightClasses/lightClassByPsi/script.lib.java

@@ -0,0 +1,6 @@
+public final class Script /* Script*/ extends kotlin.script.templates.standard.ScriptTemplateWithArgs {
+  public  Script(@org.jetbrains.annotations.NotNull() java.lang.String[]);//  .ctor(java.lang.String[])
+
+  public static final void main(@org.jetbrains.annotations.NotNull() java.lang.String[]);//  main(java.lang.String[])
+
+}