Analysis: add LC testdata with current behaviour

compiler/testData/asJava/lightClasses/AnnotationClass.fir.java

@@ -0,0 +1,14 @@
+public abstract @interface Anno /* Anno*/ {
+  public abstract double d();//  d()
+
+  public abstract int i();//  i()
+
+  public abstract int j();//  j()
+
+  public abstract int[] ia();//  ia()
+
+  public abstract int[] ia2();//  ia2()
+
+  public abstract java.lang.String value();//  value()
+
+}

compiler/testData/asJava/lightClasses/AnnotationJvmRepeatable.fir.java

@@ -0,0 +1,5 @@
+@java.lang.annotation.Repeatable()
+public abstract @interface Two /* Two*/ {
+  public abstract java.lang.String name();//  name()
+
+}

compiler/testData/asJava/lightClasses/AnnotationJvmRepeatable.kt

@@ -4,4 +4,5 @@
 
 @JvmRepeatable(TwoContainer::class)
 annotation class Two(val name: String)
-annotation class TwoContainer(val value: Array<Two>)
+annotation class TwoContainer(val value: Array<Two>)
+// COMPILATION_ERRORS

compiler/testData/asJava/lightClasses/AnnotationKotlinAndJavaRepeatable.fir.java

@@ -0,0 +1,6 @@
+@java.lang.annotation.Repeatable(value = TwoContainer.class)
+@kotlin.annotation.Repeatable()
+public abstract @interface Two /* Two*/ {
+  public abstract java.lang.String name();//  name()
+
+}

compiler/testData/asJava/lightClasses/AnnotationKotlinAndJvmRepeatable.fir.java

@@ -0,0 +1,6 @@
+@java.lang.annotation.Repeatable()
+@kotlin.annotation.Repeatable()
+public abstract @interface Two /* Two*/ {
+  public abstract java.lang.String name();//  name()
+
+}

compiler/testData/asJava/lightClasses/AnnotationKotlinAndJvmRepeatable.kt

@@ -5,4 +5,5 @@
 @Repeatable
 @JvmRepeatable(TwoContainer::class)
 annotation class Two(val name: String)
-annotation class TwoContainer(val value: Array<Two>)
+annotation class TwoContainer(val value: Array<Two>)
+// COMPILATION_ERRORS

compiler/testData/asJava/lightClasses/AnnotationRepeatable.fir.java

@@ -0,0 +1,5 @@
+@kotlin.annotation.Repeatable()
+public abstract @interface One /* simple.One*/ {
+  public abstract java.lang.String value();//  value()
+
+}

compiler/testData/asJava/lightClasses/ExtendingInterfaceWithDefaultImpls.fir.java

@@ -0,0 +1,10 @@
+public abstract interface B /* p.B*/ extends p.A {
+  @org.jetbrains.annotations.NotNull()
+  public abstract java.lang.String b();//  b()
+
+
+public static final class DefaultImpls /* p.B.DefaultImpls*/ extends p.A {
+  @org.jetbrains.annotations.NotNull()
+  public java.lang.String b();//  b()
+
+}}

compiler/testData/asJava/lightClasses/InheritingInterfaceDefaultImpls.lib.java

@@ -0,0 +1,14 @@
+public final class Inheritor /* p.Inheritor*/ implements p.I, p.I2 {
+  @org.jetbrains.annotations.NotNull()
+  public java.lang.String bar();//  bar()
+
+  @org.jetbrains.annotations.NotNull()
+  public java.lang.String foo();//  foo()
+
+  public  Inheritor();//  .ctor()
+
+  public final void f();//  f()
+
+  public void g();//  g()
+
+}

compiler/testData/asJava/lightClasses/LocalFunctions.lib.java

@@ -0,0 +1,16 @@
+public final class A /* p.A*/ {
+  private static final void _get_property_$localFunInPropertyAccessor();//  _get_property_$localFunInPropertyAccessor()
+
+  private static final void _init_$localFunInConstructor();//  _init_$localFunInConstructor()
+
+  private static final void _init_$localFunInInit();//  _init_$localFunInInit()
+
+  private static final void memberFun$localFunInMemberFun();//  memberFun$localFunInMemberFun()
+
+  public  A(int);//  .ctor(int)
+
+  public final int getProperty();//  getProperty()
+
+  public final void memberFun();//  memberFun()
+
+}

compiler/testData/asJava/lightClasses/PublishedApi.fir.java

@@ -0,0 +1,7 @@
+public final class A /* A*/ {
+  @kotlin.PublishedApi()
+  public final int access$test(int);//  access$test(int)
+
+  public  A();//  .ctor()
+
+}

compiler/testData/asJava/lightClasses/SpecialAnnotationsOnAnnotationClass.fir.java

@@ -0,0 +1,8 @@
+@kotlin.annotation.MustBeDocumented()
+@kotlin.annotation.Repeatable()
+@kotlin.annotation.Retention(value = kotlin.annotation.AnnotationRetention.SOURCE)
+@kotlin.annotation.Target(allowedTargets = kotlin.annotation.AnnotationTarget.TYPE_PARAMETER)
+public abstract @interface Anno /* Anno*/ {
+  public abstract int i();//  i()
+
+}

compiler/testData/asJava/lightClasses/SpecialAnnotationsOnAnnotationClass_1_6.fir.java

@@ -0,0 +1,8 @@
+@kotlin.annotation.MustBeDocumented()
+@kotlin.annotation.Repeatable()
+@kotlin.annotation.Retention(value = kotlin.annotation.AnnotationRetention.SOURCE)
+@kotlin.annotation.Target(allowedTargets = kotlin.annotation.AnnotationTarget.TYPE_PARAMETER)
+public abstract @interface Anno /* Anno*/ {
+  public abstract int i();//  i()
+
+}

compiler/testData/asJava/lightClasses/TypePararametersInClass.fir.java

@@ -0,0 +1,12 @@
+public abstract class A /* A*/<T extends A<T>>  extends B<java.util.Collection<? extends T>> implements C<T> {
+  public  A();//  .ctor()
+
+
+
+public class Inner /* A.Inner*/ extends B<java.util.Collection<? extends T>> implements C<D> {
+  public  Inner();//  .ctor()
+
+}public final class Inner2 /* A.Inner2*/ extends A.Inner<X> implements C<X> {
+  public  Inner2();//  .ctor()
+
+}}

compiler/testData/asJava/lightClasses/compilationErrors/ActualTypeAliasCustomJvmPackageName.fir.java

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

compiler/testData/asJava/lightClasses/compilationErrors/JvmPackageName.fir.java

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

compiler/testData/asJava/lightClasses/compilationErrors/PrivateInTrait.fir.java

@@ -0,0 +1,16 @@
+public abstract interface PrivateInTrait /* PrivateInTrait*/ {
+  private abstract java.lang.String getN();//  getN()
+
+  private abstract java.lang.String getNn();//  getNn()
+
+  private abstract void setNn(java.lang.String);//  setNn(java.lang.String)
+
+
+public static final class DefaultImpls /* PrivateInTrait.DefaultImpls*/ {
+  private final java.lang.String getN();//  getN()
+
+  private final java.lang.String getNn();//  getNn()
+
+  private final void setNn(java.lang.String);//  setNn(java.lang.String)
+
+}}

compiler/testData/asJava/lightClasses/compilationErrors/TraitClassObjectField.fir.java

@@ -0,0 +1,12 @@
+public abstract interface TraitClassObjectField /* TraitClassObjectField*/ {
+  @org.jetbrains.annotations.NotNull()
+  public static final TraitClassObjectField.Companion Companion;
+
+
+public static final class Companion /* TraitClassObjectField.Companion*/ {
+  @org.jetbrains.annotations.Nullable()
+  private final java.lang.String y;
+
+  private  Companion();//  .ctor()
+
+}}

compiler/testData/asJava/lightClasses/compilationErrors/TwoOverrides.fir.java

@@ -0,0 +1,10 @@
+public final class TwoOverrides /* TwoOverrides*/ implements kotlin.collections.Iterable<java.lang.String> {
+  @org.jetbrains.annotations.Nullable()
+  public java.lang.Void iterator();//  iterator()
+
+  @org.jetbrains.annotations.Nullable()
+  public java.lang.Void iterator();//  iterator()
+
+  public  TwoOverrides();//  .ctor()
+
+}

compiler/testData/asJava/lightClasses/compilationErrors/WrongAnnotations.fir.java

@@ -0,0 +1,32 @@
+public final class A /* A*/ {
+  @org.jetbrains.annotations.NotNull()
+  public static final A.Companion Companion;
+
+  @kotlin.jvm.JvmStatic()
+  public static final void f3();//  f3()
+
+  public  A();//  .ctor()
+
+
+public static final class Companion /* A.Companion*/ {
+  @kotlin.jvm.JvmName()
+  public final void f4();//  f4()
+
+  @kotlin.jvm.JvmName(name = "realName")
+  public final void realName();//  realName()
+
+  @kotlin.jvm.JvmName(name = 1L)
+  public final void f2();//  f2()
+
+  @kotlin.jvm.JvmOverloads()
+  public final void f5();//  f5()
+
+  @kotlin.jvm.JvmOverloads()
+  public final void f6();//  f6()
+
+  @kotlin.jvm.JvmStatic()
+  public final void f3();//  f3()
+
+  private  Companion();//  .ctor()
+
+}}

compiler/testData/asJava/lightClasses/delegation/Property.fir.java

@@ -0,0 +1,4 @@
+public final class Derived /* Derived*/ implements Base {
+  public  Derived(@org.jetbrains.annotations.NotNull() Base);//  .ctor(Base)
+
+}

compiler/testData/asJava/lightClasses/facades/MultiFile.fir.java

@@ -0,0 +1,6 @@
+public final class MultiFile /* test.MultiFile*/ {
+  private static final int foo;
+
+  public static final int getFoo();//  getFoo()
+
+}

compiler/testData/asJava/lightClasses/ideRegression/AllOpenAnnotatedClasses.fir.java

@@ -0,0 +1,26 @@
+@test.AllOpen()
+public final class C /* test.C*/ {
+  private final int p;
+
+  public  C();//  .ctor()
+
+  public final int getP();//  getP()
+
+  public final void f();//  f()
+
+  public final void g();//  g()
+
+
+
+@test.AllOpen()
+public static final class H /* test.C.H*/ {
+  public  H();//  .ctor()
+
+  public final void j();//  j()
+
+}public static final class D /* test.C.D*/ {
+  public  D();//  .ctor()
+
+  public final void z();//  z()
+
+}}

compiler/testData/asJava/lightClasses/ideRegression/AllOpenAnnotatedClasses.kt

@@ -24,4 +24,5 @@ class C {
 }
 
 // LAZINESS:NoLaziness
-// SKIP_SANITY_TEST
+// SKIP_SANITY_TEST
+// COMPILATION_ERRORS

compiler/testData/asJava/lightClasses/ideRegression/ImplementingCharSequenceAndNumber.kt

@@ -46,4 +46,5 @@ class Container {
     }
 }
 
-// FIR_COMPARISON
+// FIR_COMPARISON
+// COMPILATION_ERRORS

compiler/testData/asJava/lightClasses/ideRegression/ImplementingMap.fir.java

@@ -0,0 +1,6 @@
+public final class TypeHierarchyMap /* p1.TypeHierarchyMap*/<TValue>  implements kotlin.collections.Map<java.lang.Class<?>, TValue> {
+  public  TypeHierarchyMap();//  .ctor()
+
+  public boolean containsKey(@org.jetbrains.annotations.NotNull() java.lang.Class<?>);//  containsKey(java.lang.Class<?>)
+
+}

compiler/testData/asJava/lightClasses/ideRegression/ImplementingMap.kt

@@ -5,4 +5,5 @@ class TypeHierarchyMap<TValue> : Map<Class<*>, TValue> {
     override fun containsKey(key: Class<*>): Boolean {
         TODO("not implemented")
     }
-}
+}
+// COMPILATION_ERRORS

compiler/testData/asJava/lightClasses/ideRegression/ImplementingMutableSet.fir.java

@@ -0,0 +1,37 @@
+public final class SmartSet /* SmartSet*/<T>  implements kotlin.collections.MutableSet<T> {
+  @org.jetbrains.annotations.NotNull()
+  public static final SmartSet.Companion Companion;
+
+  @org.jetbrains.annotations.Nullable()
+  private java.lang.Object data;
+
+  private int size;
+
+  @org.jetbrains.annotations.NotNull()
+  public java.util.Iterator<T> iterator();//  iterator()
+
+  private  SmartSet();//  .ctor()
+
+  public boolean add(T);//  add(T)
+
+  public int getSize();//  getSize()
+
+  public void clear();//  clear()
+
+  public void setSize(int);//  setSize(int)
+
+
+public static final class Companion /* SmartSet.Companion*/ {
+  private final int ARRAY_THRESHOLD;
+
+  @<error>()
+  @org.jetbrains.annotations.NotNull()
+  public final <T> SmartSet<T> create();// <T>  create()
+
+  @<error>()
+  @org.jetbrains.annotations.NotNull()
+  public final <T> SmartSet<T> create(@org.jetbrains.annotations.NotNull() java.util.Collection<? extends T>);// <T>  create(java.util.Collection<? extends T>)
+
+  private  Companion();//  .ctor()
+
+}}

compiler/testData/asJava/lightClasses/ideRegression/ImplementingMutableSet.kt

@@ -26,3 +26,4 @@ class SmartSet<T> private constructor() : AbstractSet<T>(), MutableSet<T> {
         size = 0
     }
 }
+// COMPILATION_ERRORS

compiler/testData/asJava/lightClasses/ideRegression/InheritingInterfaceDefaultImpls.lib.java

@@ -0,0 +1,16 @@
+public final class Inheritor /* p.Inheritor*/ implements p.I, p.I2 {
+  @org.jetbrains.annotations.NotNull()
+  @p.Anno(s = {"S"})
+  public java.lang.String bar();//  bar()
+
+  @org.jetbrains.annotations.NotNull()
+  @p.Bueno(anno = @p.Anno(s = {"G"}))
+  public java.lang.String foo();//  foo()
+
+  public  Inheritor();//  .ctor()
+
+  public final void f();//  f()
+
+  public void g();//  g()
+
+}

compiler/testData/asJava/lightClasses/ideRegression/OverridingFinalInternal.fir.java

@@ -0,0 +1,8 @@
+public final class C /* p.C*/ {
+  public  C();//  .ctor()
+
+  public int af();//  af()
+
+  public int getAp();//  getAp()
+
+}

compiler/testData/asJava/lightClasses/ideRegression/OverridingFinalInternal.kt

@@ -10,4 +10,5 @@ class C : A() {
     }
 }
 
-// LAZINESS:NoConsistency
+// LAZINESS:NoConsistency
+// COMPILATION_ERRORS

compiler/testData/asJava/lightClasses/ideRegression/OverridingInternal.fir.java

@@ -0,0 +1,14 @@
+public final class C /* p.C*/ {
+  private final int ip;
+
+  public  C();//  .ctor()
+
+  public int <no name provided>();//  <no name provided>()
+
+  public int af();//  af()
+
+  public int getAp();//  getAp()
+
+  public int getIp();//  getIp()
+
+}

compiler/testData/asJava/lightClasses/ideRegression/OverridingInternal.kt

@@ -14,3 +14,4 @@ class C : A(), I {
 }
 
 // LAZINESS:NoLaziness
+// COMPILATION_ERRORS

compiler/testData/asJava/lightClasses/ideRegression/OverridingProtected.fir.java

@@ -0,0 +1,8 @@
+public final class C /* p.C*/ {
+  public  C();//  .ctor()
+
+  public int af();//  af()
+
+  public int getAp();//  getAp()
+
+}

compiler/testData/asJava/lightClasses/ideRegression/OverridingProtected.kt

@@ -11,4 +11,5 @@ class C : A() {
 }
 
 // LAZINESS:NoLaziness
-// FIR_COMPARISON
+// FIR_COMPARISON
+// COMPILATION_ERRORS

compiler/testData/asJava/lightClasses/nullabilityAnnotations/Class.lib.java

@@ -0,0 +1,99 @@
+public final class Class /* Class*/ {
+  @org.jetbrains.annotations.NotNull()
+  private final java.lang.String notNullVal;
+
+  @org.jetbrains.annotations.NotNull()
+  private final java.lang.String privateNN;
+
+  @org.jetbrains.annotations.NotNull()
+  private java.lang.String notNullVar;
+
+  @org.jetbrains.annotations.Nullable()
+  private final java.lang.String nullableVal;
+
+  @org.jetbrains.annotations.Nullable()
+  private final java.lang.String privateN;
+
+  @org.jetbrains.annotations.Nullable()
+  private java.lang.String nullableVar;
+
+  public java.lang.String lateInitVar;
+
+  @org.jetbrains.annotations.NotNull()
+  @org.jetbrains.annotations.Nullable()
+  public final java.lang.String getNotNullValWithGet();//  getNotNullValWithGet()
+
+  @org.jetbrains.annotations.NotNull()
+  @org.jetbrains.annotations.Nullable()
+  public final java.lang.String getNotNullVarWithGetSet();//  getNotNullVarWithGetSet()
+
+  @org.jetbrains.annotations.NotNull()
+  @org.jetbrains.annotations.Nullable()
+  public final java.lang.String getNullableValWithGet();//  getNullableValWithGet()
+
+  @org.jetbrains.annotations.NotNull()
+  @org.jetbrains.annotations.Nullable()
+  public final java.lang.String getNullableVarWithGetSet();//  getNullableVarWithGetSet()
+
+  @org.jetbrains.annotations.NotNull()
+  @org.jetbrains.annotations.Nullable()
+  public final java.lang.String notNullWithN();//  notNullWithN()
+
+  @org.jetbrains.annotations.NotNull()
+  @org.jetbrains.annotations.Nullable()
+  public final java.lang.String nullableWithNN();//  nullableWithNN()
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getLateInitVar();//  getLateInitVar()
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getNotNullVal();//  getNotNullVal()
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getNotNullVar();//  getNotNullVar()
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String notNull(@org.jetbrains.annotations.NotNull() java.lang.String);//  notNull(java.lang.String)
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String notNullWithNN();//  notNullWithNN()
+
+  @org.jetbrains.annotations.NotNull()
+  public final void setNullableVarWithGetSet(@org.jetbrains.annotations.Nullable() java.lang.String);//  setNullableVarWithGetSet(java.lang.String)
+
+  @org.jetbrains.annotations.Nullable()
+  public final java.lang.String getNullableVal();//  getNullableVal()
+
+  @org.jetbrains.annotations.Nullable()
+  public final java.lang.String getNullableVar();//  getNullableVar()
+
+  @org.jetbrains.annotations.Nullable()
+  public final java.lang.String nullable(@org.jetbrains.annotations.Nullable() java.lang.String);//  nullable(java.lang.String)
+
+  @org.jetbrains.annotations.Nullable()
+  public final java.lang.String nullableWithN();//  nullableWithN()
+
+  @org.jetbrains.annotations.Nullable()
+  public final void setNotNullVarWithGetSet(@org.jetbrains.annotations.NotNull() java.lang.String);//  setNotNullVarWithGetSet(java.lang.String)
+
+  private static final java.lang.String notNullVal$lambda-2();//  notNullVal$lambda-2()
+
+  private static final java.lang.String notNullVar$lambda-3();//  notNullVar$lambda-3()
+
+  private static final java.lang.String nullableVal$lambda-0();//  nullableVal$lambda-0()
+
+  private static final java.lang.String nullableVar$lambda-1();//  nullableVar$lambda-1()
+
+  private static final java.lang.String privateN$lambda-5();//  privateN$lambda-5()
+
+  private static final java.lang.String privateNN$lambda-4();//  privateNN$lambda-4()
+
+  public  Class();//  .ctor()
+
+  public final void setLateInitVar(@org.jetbrains.annotations.NotNull() java.lang.String);//  setLateInitVar(java.lang.String)
+
+  public final void setNotNullVar(@org.jetbrains.annotations.NotNull() java.lang.String);//  setNotNullVar(java.lang.String)
+
+  public final void setNullableVar(@org.jetbrains.annotations.Nullable() java.lang.String);//  setNullableVar(java.lang.String)
+
+}

compiler/testData/asJava/lightClasses/nullabilityAnnotations/ClassObjectField.fir.java

@@ -0,0 +1,20 @@
+public final class ClassObjectField /* ClassObjectField*/ {
+  @org.jetbrains.annotations.NotNull()
+  public static final ClassObjectField.Companion Companion;
+
+  public  ClassObjectField();//  .ctor()
+
+
+public static final class Companion /* ClassObjectField.Companion*/ {
+  @org.jetbrains.annotations.Nullable()
+  private final java.lang.String x;
+
+  @org.jetbrains.annotations.Nullable()
+  private final java.lang.String y;
+
+  @org.jetbrains.annotations.Nullable()
+  public final java.lang.String getX();//  getX()
+
+  private  Companion();//  .ctor()
+
+}}

compiler/testData/asJava/lightClasses/nullabilityAnnotations/ClassObjectField.lib.java

@@ -0,0 +1,24 @@
+public final class ClassObjectField /* ClassObjectField*/ {
+  @org.jetbrains.annotations.NotNull()
+  public static final ClassObjectField.Companion Companion;
+
+  @org.jetbrains.annotations.Nullable()
+  private static final java.lang.String x;
+
+  @org.jetbrains.annotations.Nullable()
+  private static final java.lang.String y;
+
+  private static final java.lang.String x$lambda-0();//  x$lambda-0()
+
+  private static final java.lang.String y$lambda-1();//  y$lambda-1()
+
+  public  ClassObjectField();//  .ctor()
+
+
+public static final class Companion /* ClassObjectField.Companion*/ {
+  @org.jetbrains.annotations.Nullable()
+  public final java.lang.String getX();//  getX()
+
+  private  Companion();//  .ctor()
+
+}}

compiler/testData/asJava/lightClasses/nullabilityAnnotations/FileFacade.lib.java

@@ -0,0 +1,92 @@
+public final class FileFacadeKt /* FileFacadeKt*/ {
+  @org.jetbrains.annotations.NotNull()
+  private static final java.lang.String notNullVal;
+
+  @org.jetbrains.annotations.NotNull()
+  private static final java.lang.String privateNn;
+
+  @org.jetbrains.annotations.NotNull()
+  private static java.lang.String notNullVar;
+
+  @org.jetbrains.annotations.Nullable()
+  private static final java.lang.String nullableVal;
+
+  @org.jetbrains.annotations.Nullable()
+  private static final java.lang.String privateN;
+
+  @org.jetbrains.annotations.Nullable()
+  private static java.lang.String nullableVar;
+
+  @org.jetbrains.annotations.NotNull()
+  @org.jetbrains.annotations.Nullable()
+  public static final java.lang.String getNotNullValWithGet();//  getNotNullValWithGet()
+
+  @org.jetbrains.annotations.NotNull()
+  @org.jetbrains.annotations.Nullable()
+  public static final java.lang.String getNotNullVarWithGetSet();//  getNotNullVarWithGetSet()
+
+  @org.jetbrains.annotations.NotNull()
+  @org.jetbrains.annotations.Nullable()
+  public static final java.lang.String getNullableValWithGet();//  getNullableValWithGet()
+
+  @org.jetbrains.annotations.NotNull()
+  @org.jetbrains.annotations.Nullable()
+  public static final java.lang.String getNullableVarWithGetSet();//  getNullableVarWithGetSet()
+
+  @org.jetbrains.annotations.NotNull()
+  @org.jetbrains.annotations.Nullable()
+  public static final java.lang.String notNullWithN();//  notNullWithN()
+
+  @org.jetbrains.annotations.NotNull()
+  @org.jetbrains.annotations.Nullable()
+  public static final java.lang.String nullableWithNN();//  nullableWithNN()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String getNotNullVal();//  getNotNullVal()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String getNotNullVar();//  getNotNullVar()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String notNull(@org.jetbrains.annotations.NotNull() java.lang.String);//  notNull(java.lang.String)
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String notNullWithNN();//  notNullWithNN()
+
+  @org.jetbrains.annotations.NotNull()
+  public static final void setNullableVarWithGetSet(@org.jetbrains.annotations.Nullable() java.lang.String);//  setNullableVarWithGetSet(java.lang.String)
+
+  @org.jetbrains.annotations.Nullable()
+  public static final java.lang.String getNullableVal();//  getNullableVal()
+
+  @org.jetbrains.annotations.Nullable()
+  public static final java.lang.String getNullableVar();//  getNullableVar()
+
+  @org.jetbrains.annotations.Nullable()
+  public static final java.lang.String nullable(@org.jetbrains.annotations.Nullable() java.lang.String);//  nullable(java.lang.String)
+
+  @org.jetbrains.annotations.Nullable()
+  public static final java.lang.String nullableWithN();//  nullableWithN()
+
+  @org.jetbrains.annotations.Nullable()
+  public static final void setNotNullVarWithGetSet(@org.jetbrains.annotations.NotNull() java.lang.String);//  setNotNullVarWithGetSet(java.lang.String)
+
+  private static final java.lang.String notNullVal$lambda-2();//  notNullVal$lambda-2()
+
+  private static final java.lang.String notNullVar$lambda-3();//  notNullVar$lambda-3()
+
+  private static final java.lang.String nullableVal$lambda-0();//  nullableVal$lambda-0()
+
+  private static final java.lang.String nullableVar$lambda-1();//  nullableVar$lambda-1()
+
+  private static final java.lang.String privateFun(java.lang.String, java.lang.String);//  privateFun(java.lang.String, java.lang.String)
+
+  private static final java.lang.String privateN$lambda-5();//  privateN$lambda-5()
+
+  private static final java.lang.String privateNn$lambda-4();//  privateNn$lambda-4()
+
+  public static final void setNotNullVar(@org.jetbrains.annotations.NotNull() java.lang.String);//  setNotNullVar(java.lang.String)
+
+  public static final void setNullableVar(@org.jetbrains.annotations.Nullable() java.lang.String);//  setNullableVar(java.lang.String)
+
+}

compiler/testData/asJava/lightClasses/nullabilityAnnotations/Generic.fir.java

@@ -0,0 +1,12 @@
+public abstract interface Generic /* Generic*/<N, NN>  {
+  @org.jetbrains.annotations.Nullable()
+  public abstract N a1(@org.jetbrains.annotations.Nullable() N);//  a1(N)
+
+  @org.jetbrains.annotations.Nullable()
+  public abstract NN b1(@org.jetbrains.annotations.Nullable() NN);//  b1(NN)
+
+  public abstract N a(N);//  a(N)
+
+  public abstract NN b(NN);//  b(NN)
+
+}

compiler/testData/asJava/lightClasses/nullabilityAnnotations/IntOverridesAny.fir.java

@@ -0,0 +1,10 @@
+public final class C /* C*/ implements Tr {
+  private final int v;
+
+  public  C();//  .ctor()
+
+  public int foo();//  foo()
+
+  public int getV();//  getV()
+
+}

compiler/testData/asJava/lightClasses/nullabilityAnnotations/IntOverridesAny.lib.java

@@ -0,0 +1,14 @@
+public final class C /* C*/ implements Tr {
+  private final int v;
+
+  @org.jetbrains.annotations.NotNull()
+  public java.lang.Integer foo();//  foo()
+
+  @org.jetbrains.annotations.NotNull()
+  public java.lang.Integer getV();//  getV()
+
+  private static final int v$lambda-0();//  v$lambda-0()
+
+  public  C();//  .ctor()
+
+}

compiler/testData/asJava/lightClasses/object/SimpleObject.fir.java

@@ -0,0 +1,26 @@
+public final class A /* pack.A*/ {
+  @org.jetbrains.annotations.NotNull()
+  private static final java.lang.String cv = "A" /* initializer type: java.lang.String */;
+
+  @org.jetbrains.annotations.NotNull()
+  private static java.lang.String v;
+
+  @org.jetbrains.annotations.NotNull()
+  public static final pack.A INSTANCE;
+
+  private static final int c;
+
+  private static final int cc = 1 /* initializer type: int */;
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getV();//  getV()
+
+  private  A();//  .ctor()
+
+  public final int f();//  f()
+
+  public final int getC();//  getC()
+
+  public final void setV(@org.jetbrains.annotations.NotNull() java.lang.String);//  setV(java.lang.String)
+
+}

compiler/testData/asJava/lightClasses/object/SimpleObject.lib.java

@@ -0,0 +1,30 @@
+public final class A /* pack.A*/ {
+  @org.jetbrains.annotations.NotNull()
+  private static java.lang.String v;
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String cv = "A" /* initializer type: java.lang.String */ /* constant value A */;
+
+  @org.jetbrains.annotations.NotNull()
+  public static final pack.A INSTANCE;
+
+  private static final int c;
+
+  public static final int cc = 1 /* initializer type: int */ /* constant value 1 */;
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getV();//  getV()
+
+  private  A();//  .ctor()
+
+  private static final int c$lambda-0();//  c$lambda-0()
+
+  private static final java.lang.String v$lambda-1();//  v$lambda-1()
+
+  public final int f();//  f()
+
+  public final int getC();//  getC()
+
+  public final void setV(@org.jetbrains.annotations.NotNull() java.lang.String);//  setV(java.lang.String)
+
+}

compiler/testData/asJava/lightClasses/publicField/CompanionObject.lib.java

@@ -0,0 +1,17 @@
+public final class C /* C*/ {
+  @kotlin.jvm.JvmField()
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String foo;
+
+  @org.jetbrains.annotations.NotNull()
+  public static final C.Companion Companion;
+
+  private static final java.lang.String foo$lambda-0();//  foo$lambda-0()
+
+  public  C();//  .ctor()
+
+
+public static final class Companion /* C.Companion*/ {
+  private  Companion();//  .ctor()
+
+}}

compiler/testData/asJava/lightClasses/publicField/Simple.lib.java

@@ -0,0 +1,10 @@
+public final class C /* C*/ {
+  @kotlin.jvm.JvmField()
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String foo;
+
+  private static final java.lang.String foo$lambda-0();//  foo$lambda-0()
+
+  public  C();//  .ctor()
+
+}

compiler/testData/asJava/ultraLightClasses/annotationTargets_1_6.fir.java

@@ -0,0 +1,11 @@
+@kotlin.annotation.Target()
+public abstract @interface A0 /* A0*/ {
+}
+
+@kotlin.annotation.Target(allowedTargets = kotlin.annotation.AnnotationTarget.VALUE_PARAMETER)
+public abstract @interface A1 /* A1*/ {
+}
+
+@kotlin.annotation.Target(allowedTargets = kotlin.annotation.AnnotationTarget.VALUE_PARAMETER)
+public abstract @interface A2 /* A2*/ {
+}

compiler/testData/asJava/ultraLightClasses/annotationTargets_1_6.lib.java

@@ -0,0 +1,5 @@
+@java.lang.annotation.Retention(value = java.lang.annotation.RetentionPolicy.RUNTIME)
+@java.lang.annotation.Target(value = {java.lang.annotation.ElementType.PARAMETER})
+@kotlin.annotation.Target(allowedTargets = {kotlin.annotation.AnnotationTarget.VALUE_PARAMETER, kotlin.annotation.AnnotationTarget.TYPE, kotlin.annotation.AnnotationTarget.TYPE_PARAMETER})
+public abstract @interface A2 /* A2*/ {
+}

compiler/testData/asJava/ultraLightClasses/annotationWithSetParamPropertyModifier.fir.java

@@ -0,0 +1,13 @@
+public abstract @interface Anno /* Anno*/ {
+}
+
+public final class TestClass /* TestClass*/ {
+  private int hello;
+
+  public  TestClass(int);//  .ctor(int)
+
+  public final int getHello();//  getHello()
+
+  public final void setHello(@Anno() int);//  setHello(int)
+
+}

compiler/testData/asJava/ultraLightClasses/annotationWithSetParamPropertyModifier.lib.java

@@ -0,0 +1,3 @@
+@java.lang.annotation.Retention(value = java.lang.annotation.RetentionPolicy.RUNTIME)
+public abstract @interface Anno /* Anno*/ {
+}

compiler/testData/asJava/ultraLightClasses/annotations.fir.java

@@ -0,0 +1,170 @@
+@kotlin.annotation.Target(allowedTargets = {kotlin.annotation.AnnotationTarget.CLASS, kotlin.annotation.AnnotationTarget.FUNCTION, kotlin.annotation.AnnotationTarget.VALUE_PARAMETER, kotlin.annotation.AnnotationTarget.EXPRESSION})
+public abstract @interface Anno2 /* Anno2*/ {
+}
+
+@kotlin.annotation.Target(allowedTargets = {kotlin.annotation.AnnotationTarget.CLASS, kotlin.annotation.AnnotationTarget.FUNCTION, kotlin.annotation.AnnotationTarget.VALUE_PARAMETER, kotlin.annotation.AnnotationTarget.EXPRESSION})
+public abstract @interface Anno3 /* Anno3*/ {
+}
+
+@kotlin.annotation.Target(allowedTargets = kotlin.annotation.AnnotationTarget.CLASS)
+public abstract @interface Anno4 /* Anno4*/ {
+}
+
+@kotlin.annotation.Target(allowedTargets = ?)
+public abstract @interface Anno5 /* Anno5*/ {
+}
+
+@kotlin.annotation.Target(allowedTargets = ?)
+public abstract @interface Anno6 /* Anno6*/ {
+}
+
+public abstract @interface AnnoWithCompanion /* AnnoWithCompanion*/ {
+  @org.jetbrains.annotations.NotNull()
+  public static final AnnoWithCompanion.Companion Companion;
+
+
+  class Companion ...
+
+  }
+
+public static final class Companion /* AnnoWithCompanion.Companion*/ {
+  @<error>()
+  private final int x;
+
+  private  Companion();//  .ctor()
+
+  public final int getX();//  getX()
+
+  public final void foo();//  foo()
+
+}
+
+public abstract @interface Anno /* Anno*/ {
+  public abstract Anno[] x();//  x()
+
+  public abstract java.lang.String p();//  p()
+
+}
+
+@Deprecated(message = "This anno is deprecated, use === instead", replaceWith = ?)
+@kotlin.annotation.MustBeDocumented()
+@kotlin.annotation.Retention(value = kotlin.annotation.AnnotationRetention.SOURCE)
+@kotlin.annotation.Target(allowedTargets = kotlin.annotation.AnnotationTarget.CLASS)
+public abstract @interface Fancy /* Fancy*/ {
+}
+
+public abstract @interface ReplaceWith /* ReplaceWith*/ {
+  public abstract java.lang.String expression();//  expression()
+
+}
+
+public abstract @interface AnnotatedAttribute /* AnnotatedAttribute*/ {
+  @Anno()
+  public abstract java.lang.String x();//  x()
+
+}
+
+public abstract @interface Deprecated /* Deprecated*/ {
+  public abstract ReplaceWith replaceWith();//  replaceWith()
+
+  public abstract java.lang.String message();//  message()
+
+}
+
+public abstract @interface Ann /* Ann*/ {
+  public abstract java.lang.Class<? extends java.lang.Object> arg2();//  arg2()
+
+  public abstract java.lang.Class<?> arg1();//  arg1()
+
+}
+
+@Anno()
+public final class F /* F*/ implements java.lang.Runnable {
+  @Anno(p = "p")
+  @org.jetbrains.annotations.NotNull()
+  private java.lang.String prop;
+
+  @Anno(p = "f")
+  public final void f(@Anno() @org.jetbrains.annotations.NotNull() java.lang.String);//  f(java.lang.String)
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getProp();//  getProp()
+
+  public  F();//  .ctor()
+
+  public final void setProp(@org.jetbrains.annotations.NotNull() java.lang.String);//  setProp(java.lang.String)
+
+}
+
+public final class Foo /* Foo*/ {
+  @org.jetbrains.annotations.Nullable()
+  private java.lang.String x;
+
+  @Anno()
+  public  Foo(error.NonExistentClass);//  .ctor(error.NonExistentClass)
+
+  @Anno()
+  public final void f4(java.lang.String);//  f4(java.lang.String)
+
+  @Anno()
+  public final void setX(@org.jetbrains.annotations.Nullable() java.lang.String);//  setX(java.lang.String)
+
+  @org.jetbrains.annotations.Nullable()
+  public final java.lang.String getX();//  getX()
+
+}
+
+@Ann(arg1 = java.lang.String.class, arg2 = int.class)
+public final class MyClass /* MyClass*/ {
+  public  MyClass();//  .ctor()
+
+}
+
+public final class Example /* Example*/ {
+  @Ann()
+  @org.jetbrains.annotations.NotNull()
+  private final java.lang.String foo;
+
+  @org.jetbrains.annotations.NotNull()
+  private final java.lang.String bar;
+
+  @org.jetbrains.annotations.NotNull()
+  private final java.lang.String quux;
+
+  @Ann()
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getBar();//  getBar()
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getFoo();//  getFoo()
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getQuux();//  getQuux()
+
+  public  Example(@org.jetbrains.annotations.NotNull() java.lang.String, @org.jetbrains.annotations.NotNull() java.lang.String, @Ann() @org.jetbrains.annotations.NotNull() java.lang.String);//  .ctor(java.lang.String, java.lang.String, java.lang.String)
+
+}
+
+public final class CtorAnnotations /* CtorAnnotations*/ {
+  @Anno()
+  @org.jetbrains.annotations.NotNull()
+  private final java.lang.String x;
+
+  @org.jetbrains.annotations.NotNull()
+  private final java.lang.String y;
+
+  @org.jetbrains.annotations.NotNull()
+  private final java.lang.String z;
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getX();//  getX()
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getY();//  getY()
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getZ();//  getZ()
+
+  public  CtorAnnotations(@Anno() @org.jetbrains.annotations.NotNull() java.lang.String, @Anno() @org.jetbrains.annotations.NotNull() java.lang.String, @org.jetbrains.annotations.NotNull() java.lang.String);//  .ctor(java.lang.String, java.lang.String, java.lang.String)
+
+}

compiler/testData/asJava/ultraLightClasses/annotations.kt

@@ -62,4 +62,6 @@ class Example(@field:Ann val foo: String,    // annotate Java field
               @get:Ann val bar: String,      // annotate Java getter
               @param:Ann val quux: String)   // annotate Java constructor parameter
 
-class CtorAnnotations(@Anno val x: String, @param:Anno val y: String, val z: String)
+class CtorAnnotations(@Anno val x: String, @param:Anno val y: String, val z: String)
+
+// COMPILATION_ERRORS

compiler/testData/asJava/ultraLightClasses/classModifiers.lib.java

@@ -0,0 +1,12 @@
+public abstract class Season /* pkg.Season*/ {
+  private  Season();//  .ctor()
+
+
+  class Nested ...
+
+  }
+
+public static final class Nested /* pkg.Season.Nested*/ extends pkg.Season {
+  public  Nested();//  .ctor()
+
+}

compiler/testData/asJava/ultraLightClasses/constructors.fir.java

@@ -0,0 +1,65 @@
+public final class TestConstructor /* TestConstructor*/ {
+  private  TestConstructor(int);//  .ctor(int)
+
+}
+
+public final class AAA /* AAA*/ {
+  public /* vararg */  AAA(@org.jetbrains.annotations.NotNull() int..., @org.jetbrains.annotations.NotNull() kotlin.jvm.functions.Function0<kotlin.Unit>);//  .ctor(int[], kotlin.jvm.functions.Function0<kotlin.Unit>)
+
+}
+
+public final class B /* B*/ {
+}
+
+public final class Outer /* Outer*/ {
+  public  Outer();//  .ctor()
+
+
+
+  class Inner ...
+
+    class Nested ...
+
+  }
+
+public final class Inner /* Outer.Inner*/ {
+  public  Inner(int, @org.jetbrains.annotations.NotNull() java.lang.String);//  .ctor(int, java.lang.String)
+
+}
+
+public static final class Nested /* Outer.Nested*/ {
+  public  Nested();//  .ctor()
+
+  public  Nested(int, @org.jetbrains.annotations.NotNull() java.lang.String);//  .ctor(int, java.lang.String)
+
+}
+
+public abstract class A /* A*/ {
+  @org.jetbrains.annotations.Nullable()
+  private final java.lang.String x;
+
+  @org.jetbrains.annotations.Nullable()
+  public final java.lang.String getX();//  getX()
+
+  protected  A(@org.jetbrains.annotations.Nullable() java.lang.String);//  .ctor(java.lang.String)
+
+
+  class C ...
+
+  }
+
+public static final class C /* A.C*/ extends A {
+  public  C();//  .ctor()
+
+}
+
+public final class ClassWithPrivateCtor /* ClassWithPrivateCtor*/ {
+  @org.jetbrains.annotations.NotNull()
+  private final java.util.Set<java.lang.Integer> property;
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.util.Set<java.lang.Integer> getProperty();//  getProperty()
+
+  private  ClassWithPrivateCtor(java.util.Set<java.lang.Integer>);//  .ctor(java.util.Set<java.lang.Integer>)
+
+}

compiler/testData/asJava/ultraLightClasses/constructors.lib.java

@@ -0,0 +1,10 @@
+public final class ClassWithPrivateCtor /* ClassWithPrivateCtor*/ {
+  @org.jetbrains.annotations.NotNull()
+  private final java.util.Set<java.lang.Integer> property;
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.util.Set<java.lang.Integer> getProperty();//  getProperty()
+
+  private  ClassWithPrivateCtor(java.util.Set<java.lang.Integer>);//  .ctor(java.util.Set<java.lang.Integer>)
+
+}

compiler/testData/asJava/ultraLightClasses/coroutines.lib.java

@@ -0,0 +1,5 @@
+public abstract interface Base /* Base*/ {
+  @org.jetbrains.annotations.Nullable()
+  public abstract java.lang.Object foo(@org.jetbrains.annotations.NotNull() kotlin.coroutines.Continuation<? super kotlin.Unit>);//  foo(kotlin.coroutines.Continuation<? super kotlin.Unit>)
+
+}

compiler/testData/asJava/ultraLightClasses/dataClasses.lib.java

@@ -0,0 +1,29 @@
+public final class Person /* Person*/ {
+  @org.jetbrains.annotations.NotNull()
+  private final java.lang.String name;
+
+  private int age;
+
+  @org.jetbrains.annotations.NotNull()
+  public final Person copy(@org.jetbrains.annotations.NotNull() java.lang.String);//  copy(java.lang.String)
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String component1();//  component1()
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getName();//  getName()
+
+  @org.jetbrains.annotations.NotNull()
+  public java.lang.String toString();//  toString()
+
+  public  Person(@org.jetbrains.annotations.NotNull() java.lang.String);//  .ctor(java.lang.String)
+
+  public boolean equals(@org.jetbrains.annotations.Nullable() java.lang.Object);//  equals(java.lang.Object)
+
+  public final int getAge();//  getAge()
+
+  public final void setAge(int);//  setAge(int)
+
+  public int hashCode();//  hashCode()
+
+}

compiler/testData/asJava/ultraLightClasses/defaultMethodInKotlinWithSettingAll.fir.java

@@ -0,0 +1,9 @@
+public abstract interface KtInterface /* KtInterface*/ {
+  public abstract void defaultFun();//  defaultFun()
+
+  public abstract void withoutBody();//  withoutBody()
+
+
+  class DefaultImpls ...
+
+  }

compiler/testData/asJava/ultraLightClasses/delegatesWithAnnotations.fir.java

@@ -0,0 +1,33 @@
+public abstract @interface SimpleAnn /* SimpleAnn*/ {
+  public abstract java.lang.String value();//  value()
+
+}
+
+public abstract @interface Ann /* Ann*/ {
+  public abstract SimpleAnn[] t();//  t()
+
+  public abstract int x();//  x()
+
+  public abstract java.lang.Class<?> z();//  z()
+
+  public abstract java.lang.Class<?>[] e();//  e()
+
+  public abstract java.lang.String y();//  y()
+
+  public abstract kotlin.DeprecationLevel depr();//  depr()
+
+}
+
+public abstract interface Base /* Base*/ {
+  @Ann(x = 1L, y = "134", z = java.lang.String.class, e = ?, depr = kotlin.DeprecationLevel.WARNING, t = ?)
+  public abstract void foo(@Ann(x = 2L, y = "324", z = Ann.class, e = ?, depr = kotlin.DeprecationLevel.WARNING, t = ?) @org.jetbrains.annotations.NotNull() java.lang.String);//  foo(java.lang.String)
+
+}
+
+public final class Derived /* Derived*/ implements Base {
+  @Ann(x = 1L, y = "134", z = java.lang.String.class, e = ?, depr = kotlin.DeprecationLevel.WARNING, t = ?)
+  public void foo(@Ann(x = 2L, y = "324", z = Ann.class, e = ?, depr = kotlin.DeprecationLevel.WARNING, t = ?) @org.jetbrains.annotations.NotNull() java.lang.String);//  foo(java.lang.String)
+
+  public  Derived(@org.jetbrains.annotations.NotNull() Base);//  .ctor(Base)
+
+}

compiler/testData/asJava/ultraLightClasses/delegatesWithAnnotations.lib.java

@@ -0,0 +1,5 @@
+@java.lang.annotation.Retention(value = java.lang.annotation.RetentionPolicy.RUNTIME)
+public abstract @interface SimpleAnn /* SimpleAnn*/ {
+  public abstract java.lang.String value();//  value()
+
+}

compiler/testData/asJava/ultraLightClasses/delegatingToInterfaces.fir.java

@@ -0,0 +1,38 @@
+public abstract interface Base /* Base*/ {
+  public abstract int foo(java.lang.String, @org.jetbrains.annotations.Nullable() java.lang.Object);//  foo(java.lang.String, java.lang.Object)
+
+  public abstract int getX();//  getX()
+
+  public abstract int getY();//  getY()
+
+  public abstract void printMessage();//  printMessage()
+
+  public abstract void printMessageLine();//  printMessageLine()
+
+  public abstract void setY(int);//  setY(int)
+
+}
+
+public final class BaseImpl /* BaseImpl*/ implements Base {
+  private final int x;
+
+  public  BaseImpl(int);//  .ctor(int)
+
+  public final int getX();//  getX()
+
+  public void printMessage();//  printMessage()
+
+  public void printMessageLine();//  printMessageLine()
+
+}
+
+public final class Derived /* Derived*/ implements Base {
+  public  Derived(@org.jetbrains.annotations.NotNull() Base);//  .ctor(Base)
+
+  public int foo(java.lang.String, @org.jetbrains.annotations.Nullable() java.lang.Object);//  foo(java.lang.String, java.lang.Object)
+
+  public void printMessage();//  printMessage()
+
+  public void printMessageLine();//  printMessageLine()
+
+}

compiler/testData/asJava/ultraLightClasses/delegatingToInterfaces.kt

@@ -17,3 +17,4 @@ class BaseImpl(val x: Int) : Base {
 class Derived(b: Base) : Base by b {
     override fun printMessage() { print("abc") }
 }
+// COMPILATION_ERRORS

compiler/testData/asJava/ultraLightClasses/dollarsInNameLocal.lib.java

@@ -0,0 +1,6 @@
+public final class Foo /* c.b.a.Foo*/ {
+  public  Foo();//  .ctor()
+
+  public final void bar();//  bar()
+
+}

compiler/testData/asJava/ultraLightClasses/enums.fir.java

@@ -0,0 +1,109 @@
+public enum Direction /* Direction*/ {
+  NORTH,
+  SOUTH,
+  WEST,
+  EAST;
+
+  private  Direction();//  .ctor()
+
+}
+
+public enum Color /* Color*/ {
+  RED,
+  GREEN,
+  BLUE;
+
+  private final int rgb;
+
+  private  Color(int);//  .ctor(int)
+
+  private  Color(java.lang.String);//  .ctor(java.lang.String)
+
+  public final int getRgb();//  getRgb()
+
+}
+
+public enum ProtocolState /* ProtocolState*/ {
+  WAITING {
+     WAITING();//  .ctor()
+
+    @org.jetbrains.annotations.NotNull()
+    public ProtocolState signal();//  signal()
+
+  },
+  TALKING {
+     TALKING();//  .ctor()
+
+    @org.jetbrains.annotations.NotNull()
+    public ProtocolState signal();//  signal()
+
+  };
+
+  @org.jetbrains.annotations.NotNull()
+  public abstract ProtocolState signal();//  signal()
+
+  private  ProtocolState();//  .ctor()
+
+}
+
+public static final class WAITING /* ProtocolState.WAITING*/ extends ProtocolState {
+   WAITING();//  .ctor()
+
+  @org.jetbrains.annotations.NotNull()
+  public ProtocolState signal();//  signal()
+
+}
+
+public static final class TALKING /* ProtocolState.TALKING*/ extends ProtocolState {
+   TALKING();//  .ctor()
+
+  @org.jetbrains.annotations.NotNull()
+  public ProtocolState signal();//  signal()
+
+}
+
+public enum IntArithmetics /* IntArithmetics*/ {
+  PLUS {
+     PLUS();//  .ctor()
+
+    public int apply(int, int);//  apply(int, int)
+
+  },
+  TIMES {
+     TIMES();//  .ctor()
+
+    public int apply(int, int);//  apply(int, int)
+
+  };
+
+  @org.jetbrains.annotations.NotNull()
+  public IntArithmetics applyAsInt(int, int);//  applyAsInt(int, int)
+
+  private  IntArithmetics();//  .ctor()
+
+}
+
+public static final class PLUS /* IntArithmetics.PLUS*/ extends IntArithmetics {
+   PLUS();//  .ctor()
+
+  public int apply(int, int);//  apply(int, int)
+
+}
+
+public static final class TIMES /* IntArithmetics.TIMES*/ extends IntArithmetics {
+   TIMES();//  .ctor()
+
+  public int apply(int, int);//  apply(int, int)
+
+}
+
+public final class C /* C*/ {
+  @org.jetbrains.annotations.Nullable()
+  private final Direction enumConst;
+
+  @org.jetbrains.annotations.Nullable()
+  public final Direction getEnumConst();//  getEnumConst()
+
+  public  C();//  .ctor()
+
+}

compiler/testData/asJava/ultraLightClasses/enums.lib.java

@@ -0,0 +1,16 @@
+public abstract enum ProtocolState /* ProtocolState*/ {
+  WAITING,
+  TALKING;
+
+  @org.jetbrains.annotations.NotNull()
+  public abstract ProtocolState signal();//  signal()
+
+  private  ProtocolState();//  .ctor()
+
+
+
+  class TALKING ...
+
+    class WAITING ...
+
+  }

compiler/testData/asJava/ultraLightClasses/generics.fir.java

@@ -0,0 +1,81 @@
+public abstract class C /* C*/<T>  {
+  @org.jetbrains.annotations.NotNull()
+  private java.util.List<java.lang.CharSequence> constructorParam;
+
+  @org.jetbrains.annotations.Nullable()
+  private java.util.HashSet<java.lang.String> sHashSetProp;
+
+  @org.jetbrains.annotations.Nullable()
+  private java.util.List<java.lang.CharSequence> csListProp;
+
+  @org.jetbrains.annotations.Nullable()
+  private java.util.List<java.lang.String> sListProp;
+
+  @org.jetbrains.annotations.Nullable()
+  private java.util.Set<java.lang.String> sMutableSetProp;
+
+  @org.jetbrains.annotations.Nullable()
+  private java.util.Set<java.lang.String> sSetProp;
+
+  @org.jetbrains.annotations.NotNull()
+  public abstract java.util.Collection<java.util.Collection<java.lang.CharSequence>> nested(@org.jetbrains.annotations.NotNull() java.util.List<? extends java.util.List<? extends java.lang.CharSequence>>);//  nested(java.util.List<? extends java.util.List<? extends java.lang.CharSequence>>)
+
+  @org.jetbrains.annotations.NotNull()
+  public abstract java.util.List<java.lang.CharSequence> listCS(@org.jetbrains.annotations.NotNull() java.util.List<? extends java.lang.CharSequence>);//  listCS(java.util.List<? extends java.lang.CharSequence>)
+
+  @org.jetbrains.annotations.NotNull()
+  public abstract java.util.List<java.lang.String> listS(@org.jetbrains.annotations.NotNull() java.util.List<java.lang.String>);//  listS(java.util.List<java.lang.String>)
+
+  @org.jetbrains.annotations.NotNull()
+  public abstract java.util.Set<java.lang.CharSequence> mutables(@org.jetbrains.annotations.NotNull() java.util.Collection<? super java.lang.Number>, @org.jetbrains.annotations.NotNull() java.util.List<? extends C<?>>);//  mutables(java.util.Collection<? super java.lang.Number>, java.util.List<? extends C<?>>)
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.util.List<java.lang.CharSequence> getConstructorParam();//  getConstructorParam()
+
+  @org.jetbrains.annotations.Nullable()
+  public final <T extends java.lang.Comparable<T>> T max(@org.jetbrains.annotations.Nullable() java.util.Collection<? extends T>);// <T extends java.lang.Comparable<T>>  max(java.util.Collection<? extends T>)
+
+  @org.jetbrains.annotations.Nullable()
+  public final java.util.HashSet<java.lang.String> getSHashSetProp();//  getSHashSetProp()
+
+  @org.jetbrains.annotations.Nullable()
+  public final java.util.List<java.lang.CharSequence> getCsListProp();//  getCsListProp()
+
+  @org.jetbrains.annotations.Nullable()
+  public final java.util.List<java.lang.String> getSListProp();//  getSListProp()
+
+  @org.jetbrains.annotations.Nullable()
+  public final java.util.Set<java.lang.String> getSMutableSetProp();//  getSMutableSetProp()
+
+  @org.jetbrains.annotations.Nullable()
+  public final java.util.Set<java.lang.String> getSSetProp();//  getSSetProp()
+
+  public  C(@org.jetbrains.annotations.NotNull() java.util.List<? extends java.lang.CharSequence>);//  .ctor(java.util.List<? extends java.lang.CharSequence>)
+
+  public final <V, U> T foo(V, @org.jetbrains.annotations.NotNull() C<V>, error.NonExistentClass);// <V, U>  foo(V, C<V>, error.NonExistentClass)
+
+  public final Q getW(Q);//  getW(Q)
+
+  public final void setConstructorParam(@org.jetbrains.annotations.NotNull() java.util.List<? extends java.lang.CharSequence>);//  setConstructorParam(java.util.List<? extends java.lang.CharSequence>)
+
+  public final void setCsListProp(@org.jetbrains.annotations.Nullable() java.util.List<? extends java.lang.CharSequence>);//  setCsListProp(java.util.List<? extends java.lang.CharSequence>)
+
+  public final void setSHashSetProp(@org.jetbrains.annotations.Nullable() java.util.HashSet<java.lang.String>);//  setSHashSetProp(java.util.HashSet<java.lang.String>)
+
+  public final void setSListProp(@org.jetbrains.annotations.Nullable() java.util.List<java.lang.String>);//  setSListProp(java.util.List<java.lang.String>)
+
+  public final void setSMutableSetProp(@org.jetbrains.annotations.Nullable() java.util.Set<java.lang.String>);//  setSMutableSetProp(java.util.Set<java.lang.String>)
+
+  public final void setSSetProp(@org.jetbrains.annotations.Nullable() java.util.Set<java.lang.String>);//  setSSetProp(java.util.Set<java.lang.String>)
+
+}
+
+public class K /* K*/<T extends K<T>>  {
+  public  K();//  .ctor()
+
+}
+
+public final class Sub /* Sub*/ extends K<K<?>> {
+  public  Sub();//  .ctor()
+
+}

compiler/testData/asJava/ultraLightClasses/generics.kt

@@ -25,3 +25,5 @@ abstract class C<T>(var constructorParam: List<CharSequence>) {
 
 open class K<out T: K<T>> { }
 class Sub: K<K<*>>()
+
+// COMPILATION_ERRORS

compiler/testData/asJava/ultraLightClasses/implementingKotlinCollections.fir.java

@@ -0,0 +1,27 @@
+public final class MyList /* MyList*/ implements kotlin.collections.List<java.lang.String> {
+  @org.jetbrains.annotations.NotNull()
+  public java.lang.String get(int);//  get(int)
+
+  public  MyList();//  .ctor()
+
+}
+
+public abstract interface ASet /* ASet*/<T>  extends kotlin.collections.MutableCollection<T> {
+}
+
+public abstract class MySet /* MySet*/<T>  implements ASet<T> {
+  public  MySet();//  .ctor()
+
+  public boolean remove(@org.jetbrains.annotations.NotNull() java.lang.String);//  remove(java.lang.String)
+
+}
+
+public abstract class SmartSet /* SmartSet*/<T>  {
+  @org.jetbrains.annotations.NotNull()
+  public java.util.Iterator<T> iterator();//  iterator()
+
+  private  SmartSet();//  .ctor()
+
+  public boolean add(T);//  add(T)
+
+}

compiler/testData/asJava/ultraLightClasses/implementingKotlinCollections.kt

@@ -21,4 +21,6 @@ abstract class SmartSet<T> private constructor() : AbstractMutableSet<T>() {
   /* Should erasure T but UL classes does not support it in this case
   override fun contains(element: T): Boolean = true
    */
-}
+}
+
+// COMPILATION_ERRORS

compiler/testData/asJava/ultraLightClasses/importAliases.fir.java

@@ -0,0 +1,10 @@
+public final class O /* O*/ {
+  @org.jetbrains.annotations.NotNull()
+  public static final O INSTANCE;
+
+  @<error>()
+  public final void foo();//  foo()
+
+  private  O();//  .ctor()
+
+}

compiler/testData/asJava/ultraLightClasses/inferringAnonymousObjectTypes.fir.java

@@ -0,0 +1,94 @@
+public final class Prop /* Prop*/ {
+  @org.jetbrains.annotations.NotNull()
+  private final java.lang.Object someProp;
+
+  public  Prop();//  .ctor()
+
+}
+
+final class null /* null*/ {
+  private  ();//  .ctor()
+
+}
+
+final class C /* C*/ {
+  @org.jetbrains.annotations.NotNull()
+  private final kotlin.jvm.functions.Function0<java.lang.Object> initChild;
+
+  private final int y;
+
+  @org.jetbrains.annotations.NotNull()
+  public final kotlin.jvm.functions.Function0<java.lang.Object> getInitChild();//  getInitChild()
+
+  public  C(int);//  .ctor(int)
+
+  public final int getY();//  getY()
+
+}
+
+final class null /* null*/ {
+  @org.jetbrains.annotations.NotNull()
+  public java.lang.String toString();//  toString()
+
+  private  ();//  .ctor()
+
+}
+
+public final class ValidPublicSupertype /* ValidPublicSupertype*/ {
+  @org.jetbrains.annotations.NotNull()
+  private final java.lang.Runnable x;
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.Runnable bar();//  bar()
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.Runnable getX();//  getX()
+
+  public  ValidPublicSupertype();//  .ctor()
+
+}
+
+final class null /* null*/ implements java.lang.Runnable {
+  private  ();//  .ctor()
+
+  public void run();//  run()
+
+}
+
+final class null /* null*/ implements java.lang.Runnable {
+  private  ();//  .ctor()
+
+  public void run();//  run()
+
+}
+
+public abstract interface I /* I*/ {
+}
+
+public final class InvalidPublicSupertype /* InvalidPublicSupertype*/ {
+  @org.jetbrains.annotations.NotNull()
+  private final java.lang.Object x;
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.Object bar();//  bar()
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.Object getX();//  getX()
+
+  public  InvalidPublicSupertype();//  .ctor()
+
+}
+
+final class null /* null*/ implements I, java.lang.Runnable {
+  private  ();//  .ctor()
+
+  public void run();//  run()
+
+}
+
+final class null /* null*/ implements I, java.lang.Runnable {
+  private  ();//  .ctor()
+
+  public void run();//  run()
+
+}

compiler/testData/asJava/ultraLightClasses/inferringAnonymousObjectTypes.kt

@@ -34,3 +34,4 @@ class InvalidPublicSupertype {
         override fun run() {}
     }
 }
+// COMPILATION_ERRORS

compiler/testData/asJava/ultraLightClasses/inheritance.fir.java

@@ -0,0 +1,78 @@
+public abstract interface Intf /* Intf*/ {
+  public abstract int v();//  v()
+
+}
+
+public abstract interface IntfWithProp /* IntfWithProp*/ extends Intf {
+  public abstract int getX();//  getX()
+
+}
+
+public abstract class Base /* Base*/ {
+  private int y;
+
+  private int z;
+
+  @org.jetbrains.annotations.Nullable()
+  protected java.lang.Integer v();//  v()
+
+  protected int getZ();//  getZ()
+
+  protected void setZ(int);//  setZ(int)
+
+  public  Base(int);//  .ctor(int)
+
+  public abstract int abs();//  abs()
+
+  public final void nv();//  nv()
+
+  public int getX();//  getX()
+
+  public int getY();//  getY()
+
+  public void setY(int);//  setY(int)
+
+}
+
+public final class Derived /* Derived*/ extends Base implements IntfWithProp {
+  private final int x;
+
+  protected error.NonExistentClass v();//  v()
+
+  public  Derived(int);//  .ctor(int)
+
+  public int abs();//  abs()
+
+  public int getX();//  getX()
+
+}
+
+public abstract class AnotherDerived /* AnotherDerived*/ extends Base {
+  private final int x;
+
+  private final int y;
+
+  private final int z;
+
+  protected final void v();//  v()
+
+  protected int getZ();//  getZ()
+
+  public  AnotherDerived(int, int, int);//  .ctor(int, int, int)
+
+  public abstract int getAbstractProp();//  getAbstractProp()
+
+  public abstract void noReturn(@org.jetbrains.annotations.NotNull() java.lang.String);//  noReturn(java.lang.String)
+
+  public int getX();//  getX()
+
+  public int getY();//  getY()
+
+}
+
+final class Private /* Private*/ {
+  public  Private();//  .ctor()
+
+  public boolean getOverridesNothing();//  getOverridesNothing()
+
+}

compiler/testData/asJava/ultraLightClasses/inheritance.kt

@@ -29,3 +29,4 @@ private class Private {
     override val overridesNothing: Boolean
         get() = false
 }
+// COMPILATION_ERRORS

compiler/testData/asJava/ultraLightClasses/inlineClasses.kt

@@ -29,3 +29,4 @@ inline class InlineInheritance(val v: Int) : I {
 }
 
 // FIR_COMPARISON
+// COMPILATION_ERRORS

compiler/testData/asJava/ultraLightClasses/inlineOnly.fir.java

@@ -0,0 +1,4 @@
+public final class A /* A*/ {
+  public  A();//  .ctor()
+
+}

compiler/testData/asJava/ultraLightClasses/inlineOnly.kt

@@ -1,4 +1,5 @@
 class A {
+    @Suppress("INVISIBLE_REFERENCE", "INVISIBLE_MEMBER")
     @kotlin.internal.InlineOnly
     inline fun foo() {}
 }

compiler/testData/asJava/ultraLightClasses/inlineReified.kt

@@ -10,4 +10,5 @@ class C {
         inline set(value) {}
 }
 
-// FIR_COMPARISON
+// FIR_COMPARISON
+// COMPILATION_ERRORS

compiler/testData/asJava/ultraLightClasses/jvmField.fir.java

@@ -0,0 +1,85 @@
+public final class A /* A*/ {
+  @<error>()
+  @org.jetbrains.annotations.NotNull()
+  private final java.util.Collection<?> a;
+
+  @<error>()
+  private int b;
+
+  @org.jetbrains.annotations.NotNull()
+  public static final A.Companion Companion;
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.util.Collection<?> getA();//  getA()
+
+  public  A();//  .ctor()
+
+  public final int getB();//  getB()
+
+  public final void setB(int);//  setB(int)
+
+
+  class Companion ...
+
+  }
+
+public static final class Companion /* A.Companion*/ {
+  @<error>()
+  @org.jetbrains.annotations.NotNull()
+  private final java.util.Collection<?> c;
+
+  @<error>()
+  private int d;
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.util.Collection<?> getC();//  getC()
+
+  private  Companion();//  .ctor()
+
+  public final int getD();//  getD()
+
+  public final void setD(int);//  setD(int)
+
+}
+
+public abstract interface B /* B*/ {
+  @org.jetbrains.annotations.NotNull()
+  public static final B.Companion Companion;
+
+
+  class Companion ...
+
+  }
+
+public static final class Companion /* B.Companion*/ {
+  @<error>()
+  @org.jetbrains.annotations.NotNull()
+  private final java.util.Collection<?> a;
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.util.Collection<?> getA();//  getA()
+
+  private  Companion();//  .ctor()
+
+}
+
+public final class C /* C*/ {
+  @<error>()
+  @org.jetbrains.annotations.NotNull()
+  private final java.util.Collection<?> a;
+
+  @<error>()
+  private int b;
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.util.Collection<?> getA();//  getA()
+
+  public  C();//  .ctor()
+
+  public  C(@<error>() @org.jetbrains.annotations.NotNull() java.util.Collection<?>, @<error>() int);//  .ctor(java.util.Collection<?>, int)
+
+  public final int getB();//  getB()
+
+  public final void setB(int);//  setB(int)
+
+}

compiler/testData/asJava/ultraLightClasses/jvmField.kt

@@ -25,3 +25,4 @@ class C(
     @JvmField
     var b: Int = 1
 )
+// COMPILATION_ERRORS

compiler/testData/asJava/ultraLightClasses/jvmName.fir.java

@@ -0,0 +1,29 @@
+public final class C /* C*/ {
+  @<error>()
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getXyz();//  getXyz()
+
+  @<error>()
+  public final boolean getHasBigArity();//  getHasBigArity()
+
+  @<error>()
+  public final int getRwProp();//  getRwProp()
+
+  @<error>()
+  public final void foo(@org.jetbrains.annotations.NotNull() java.util.List<java.lang.Integer>);//  foo(java.util.List<java.lang.Integer>)
+
+  @<error>()
+  public final void setRwProp(int);//  setRwProp(int)
+
+  @<error>()
+  public final void setXyz(@org.jetbrains.annotations.NotNull() java.lang.String);//  setXyz(java.lang.String)
+
+  public  C();//  .ctor()
+
+  public final int getRwProp();//  getRwProp()
+
+  public final void foo(@org.jetbrains.annotations.NotNull() java.util.List<java.lang.String>);//  foo(java.util.List<java.lang.String>)
+
+  public final void setRwProp(int);//  setRwProp(int)
+
+}

compiler/testData/asJava/ultraLightClasses/jvmOverloads.fir.java

@@ -0,0 +1,54 @@
+public final class C /* C*/ {
+  @org.jetbrains.annotations.NotNull()
+  private final java.lang.String p2;
+
+  @org.jetbrains.annotations.NotNull()
+  public static final C.Companion Companion;
+
+  @org.jetbrains.annotations.Nullable()
+  private final java.lang.String type;
+
+  private final boolean p1;
+
+  @<error>()
+  public  C(@org.jetbrains.annotations.Nullable() java.lang.String, boolean, @org.jetbrains.annotations.NotNull() java.lang.String);//  .ctor(java.lang.String, boolean, java.lang.String)
+
+  @<error>()
+  public final void bar(int, double, @org.jetbrains.annotations.NotNull() java.lang.String);//  bar(int, double, java.lang.String)
+
+  @<error>()
+  public final void baz(int, double, @org.jetbrains.annotations.NotNull() java.lang.String);//  baz(int, double, java.lang.String)
+
+  @<error>()
+  public final void foo(int, double, @org.jetbrains.annotations.NotNull() java.lang.String);//  foo(int, double, java.lang.String)
+
+  @<error>()
+  public final void foobar(int, double, @org.jetbrains.annotations.NotNull() java.lang.String);//  foobar(int, double, java.lang.String)
+
+  @<error>()
+  public final void foobarbaz(int, double, @org.jetbrains.annotations.NotNull() java.lang.String);//  foobarbaz(int, double, java.lang.String)
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getP2();//  getP2()
+
+  @org.jetbrains.annotations.Nullable()
+  public final java.lang.String getType();//  getType()
+
+  public final boolean getP1();//  getP1()
+
+
+  class Companion ...
+
+  }
+
+public static final class Companion /* C.Companion*/ {
+  @<error>()
+  @<error>()
+  public final void fooStatic(int, double, @org.jetbrains.annotations.NotNull() java.lang.String);//  fooStatic(int, double, java.lang.String)
+
+  @<error>()
+  public final void foo123(int, double, @org.jetbrains.annotations.NotNull() java.lang.String);//  foo123(int, double, java.lang.String)
+
+  private  Companion();//  .ctor()
+
+}

compiler/testData/asJava/ultraLightClasses/jvmRecord.fir.java

@@ -0,0 +1,24 @@
+@<error>()
+public final class MyRec /* pkg.MyRec*/ {
+  @org.jetbrains.annotations.NotNull()
+  private final java.lang.String name;
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String component1();//  component1()
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getName();//  getName()
+
+  @org.jetbrains.annotations.NotNull()
+  public final pkg.MyRec copy(@org.jetbrains.annotations.NotNull() java.lang.String);//  copy(java.lang.String)
+
+  @org.jetbrains.annotations.NotNull()
+  public java.lang.String toString();//  toString()
+
+  public  MyRec(@org.jetbrains.annotations.NotNull() java.lang.String);//  .ctor(java.lang.String)
+
+  public boolean equals(@org.jetbrains.annotations.Nullable() java.lang.Object);//  equals(java.lang.Object)
+
+  public int hashCode();//  hashCode()
+
+}

compiler/testData/asJava/ultraLightClasses/jvmRecord.kt

@@ -6,3 +6,5 @@ package pkg
 
 @JvmRecord
 data class MyRec(val name: String)
+// JDK 15 should be used to compile this file
+// COMPILATION_ERRORS

compiler/testData/asJava/ultraLightClasses/jvmRecord.lib.java

@@ -0,0 +1,20 @@
+public final class MyRec /* pkg.MyRec*/ {
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String component1();//  component1()
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String name();//  name()
+
+  @org.jetbrains.annotations.NotNull()
+  public final pkg.MyRec copy(@org.jetbrains.annotations.NotNull() java.lang.String);//  copy(java.lang.String)
+
+  @org.jetbrains.annotations.NotNull()
+  public java.lang.String toString();//  toString()
+
+  public  MyRec(@org.jetbrains.annotations.NotNull() java.lang.String);//  .ctor(java.lang.String)
+
+  public boolean equals(@org.jetbrains.annotations.Nullable() java.lang.Object);//  equals(java.lang.Object)
+
+  public int hashCode();//  hashCode()
+
+}

compiler/testData/asJava/ultraLightClasses/jvmSynthetic.fir.java

@@ -0,0 +1,30 @@
+public final class A /* A*/ {
+  @<error>()
+  @<error>()
+  private int y;
+
+  @<error>()
+  private int x;
+
+  private int z;
+
+  @<error>()
+  public final int getZ();//  getZ()
+
+  @<error>()
+  public final void foo();//  foo()
+
+  @<error>()
+  public final void setZ(int);//  setZ(int)
+
+  public  A();//  .ctor()
+
+  public final int getX();//  getX()
+
+  public final int getY();//  getY()
+
+  public final void setX(int);//  setX(int)
+
+  public final void setY(int);//  setY(int)
+
+}

compiler/testData/asJava/ultraLightClasses/jvmSyntheticForAccessors.fir.java

@@ -0,0 +1,18 @@
+public final class X /* X*/ {
+  private int v;
+
+  private int w;
+
+  @<error>()
+  public final int getV();//  getV()
+
+  @<error>()
+  public final void setW(int);//  setW(int)
+
+  public  X();//  .ctor()
+
+  public final int getW();//  getW()
+
+  public final void setV(int);//  setV(int)
+
+}

compiler/testData/asJava/ultraLightClasses/jvmSyntheticForAccessors.lib.java

@@ -0,0 +1,12 @@
+public final class X /* X*/ {
+  private int v;
+
+  private int w;
+
+  public  X();//  .ctor()
+
+  public final int getW();//  getW()
+
+  public final void setV(int);//  setV(int)
+
+}

compiler/testData/asJava/ultraLightClasses/jvmWildcardAnnotations.fir.java

@@ -0,0 +1,71 @@
+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 Container /* Container*/ {
+  @<error>()
+  @org.jetbrains.annotations.NotNull()
+  public final Out<Open> bar();//  bar()
+
+  @<error>()
+  public final int bar(boolean, @org.jetbrains.annotations.NotNull() In<? super java.lang.Long>, long);//  bar(boolean, In<? super java.lang.Long>, long)
+
+  @<error>()
+  public final int foo(boolean, @org.jetbrains.annotations.NotNull() Out<java.lang.Integer>);//  foo(boolean, Out<java.lang.Integer>)
+
+  @<error>()
+  public 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 final OutPair<Final, OutPair<Out<Final>, Out<Final>>> falseTrueFalse();//  falseTrueFalse()
+
+  @org.jetbrains.annotations.NotNull()
+  public final OutPair<Open, OutPair<Open, Out<Open>>> combination();//  combination()
+
+  public  Container();//  .ctor()
+
+  public final void simpleIn(@org.jetbrains.annotations.NotNull() In<java.lang.Object>);//  simpleIn(In<java.lang.Object>)
+
+  public final void simpleOut(@org.jetbrains.annotations.NotNull() Out<Final>);//  simpleOut(Out<Final>)
+
+}
+
+public abstract interface A /* A*/<T>  {
+  @<error>()
+  @org.jetbrains.annotations.NotNull()
+  public abstract Out<T> foo();//  foo()
+
+}
+
+public abstract interface B /* B*/ {
+  @<error>()
+  @org.jetbrains.annotations.NotNull()
+  public abstract In<Open> foo();//  foo()
+
+}

compiler/testData/asJava/ultraLightClasses/jvmWildcardAnnotations.lib.java

@@ -0,0 +1,4 @@
+public final class OutPair /* OutPair*/<Final, Y>  {
+  public  OutPair();//  .ctor()
+
+}

compiler/testData/asJava/ultraLightClasses/lateinitProperty.fir.java

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

compiler/testData/asJava/ultraLightClasses/lateinitProperty.kt

@@ -40,3 +40,5 @@ open class D {
     private lateinit var b: String
         private set
 }
+
+// COMPILATION_ERRORS

compiler/testData/asJava/ultraLightClasses/localClassDerived.fir.java

@@ -0,0 +1,16 @@
+public final class Boo /* Boo*/ {
+  public  Boo();//  .ctor()
+
+  public final void fooBar();//  fooBar()
+
+}
+
+public static final class LocalClassBase /* null*/ {
+  public  LocalClassBase();//  .ctor()
+
+}
+
+public static final class LocalClassDerived /* null*/ extends Boo.LocalClassBase {
+  public  LocalClassDerived();//  .ctor()
+
+}

compiler/testData/asJava/ultraLightClasses/localClassDerived.kt

@@ -5,4 +5,6 @@ class Boo {
 
         class LocalClassDerived : LocalClassBase
     }
-}
+}
+
+// COMPILATION_ERRORS

compiler/testData/asJava/ultraLightClasses/objects.fir.java

@@ -0,0 +1,156 @@
+public final class C /* C*/ {
+  @org.jetbrains.annotations.NotNull()
+  public static final C.Companion Companion;
+
+  public  C();//  .ctor()
+
+
+
+  class Companion ...
+
+    class Factory ...
+
+  }
+
+public static final class Companion /* C.Companion*/ {
+  @<error>()
+  @org.jetbrains.annotations.NotNull()
+  private java.lang.String x;
+
+  @<error>()
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getC(I);//  getC(I)
+
+  @<error>()
+  public final void foo();//  foo()
+
+  @<error>()
+  public final void setC(I, @org.jetbrains.annotations.NotNull() java.lang.String);//  setC(I, java.lang.String)
+
+  @<error>()
+  public final void setC1(@org.jetbrains.annotations.NotNull() java.lang.String);//  setC1(java.lang.String)
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getC1();//  getC1()
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getX();//  getX()
+
+  private  Companion();//  .ctor()
+
+  public final void bar();//  bar()
+
+  public final void setX(@org.jetbrains.annotations.NotNull() java.lang.String);//  setX(java.lang.String)
+
+}
+
+public static final class Factory /* C.Factory*/ {
+  private  Factory();//  .ctor()
+
+}
+
+public final class C1 /* C1*/ {
+  @org.jetbrains.annotations.NotNull()
+  private static final C1.Companion Companion;
+
+  public  C1();//  .ctor()
+
+
+  class Companion ...
+
+  }
+
+private static final class Companion /* C1.Companion*/ {
+  private  Companion();//  .ctor()
+
+}
+
+public abstract interface I /* I*/ {
+  @org.jetbrains.annotations.NotNull()
+  public static final I.Companion Companion;
+
+
+  class Companion ...
+
+  }
+
+public static final class Companion /* I.Companion*/ {
+  private  Companion();//  .ctor()
+
+}
+
+public final class Obj /* Obj*/ implements java.lang.Runnable {
+  @<error>()
+  @org.jetbrains.annotations.NotNull()
+  private static java.lang.String x;
+
+  @org.jetbrains.annotations.NotNull()
+  public static final Obj INSTANCE;
+
+  @<error>()
+  public final int zoo();//  zoo()
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getX();//  getX()
+
+  private  Obj();//  .ctor()
+
+  public final void setX(@org.jetbrains.annotations.NotNull() java.lang.String);//  setX(java.lang.String)
+
+  public void run();//  run()
+
+}
+
+public final class ConstContainer /* ConstContainer*/ {
+  @org.jetbrains.annotations.NotNull()
+  private static final java.lang.String str = "one" /* initializer type: java.lang.String */;
+
+  @org.jetbrains.annotations.NotNull()
+  public static final ConstContainer INSTANCE;
+
+  private static final double complexFloat = 5.118281745910645 /* initializer type: double */;
+
+  private static final double e = 2.7182818284 /* initializer type: double */;
+
+  private static final float eFloat = 2.7182817f /* initializer type: float */;
+
+  private static final int one = 1 /* initializer type: int */;
+
+  private static final long complexLong = 2L /* initializer type: long */;
+
+  private static final long oneLong = 1L /* initializer type: long */;
+
+  private  ConstContainer();//  .ctor()
+
+}
+
+public final class ClassWithConstContainer /* ClassWithConstContainer*/ {
+  @org.jetbrains.annotations.NotNull()
+  public static final ClassWithConstContainer.Companion Companion;
+
+  @org.jetbrains.annotations.NotNull()
+  public static final java.lang.String str = "one" /* initializer type: java.lang.String */;
+
+  public static final double complexFloat = 5.118281745910645 /* initializer type: double */;
+
+  public static final double e = 2.7182818284 /* initializer type: double */;
+
+  public static final float eFloat = 2.7182817f /* initializer type: float */;
+
+  public static final int one = 1 /* initializer type: int */;
+
+  public static final long complexLong = 2L /* initializer type: long */;
+
+  public static final long oneLong = 1L /* initializer type: long */;
+
+  public  ClassWithConstContainer();//  .ctor()
+
+
+  class Companion ...
+
+  }
+
+public static final class Companion /* ClassWithConstContainer.Companion*/ {
+  private  Companion();//  .ctor()
+
+}

compiler/testData/asJava/ultraLightClasses/objects.kt

@@ -50,4 +50,6 @@ class ClassWithConstContainer {
         const val eFloat = 2.7182818284f // Float
         const val complexFloat = 2.7182818284f + 2.4 // Float
     }
-}
+}
+
+// COMPILATION_ERRORS

compiler/testData/asJava/ultraLightClasses/properties.fir.java

@@ -0,0 +1,250 @@
+public final class Foo /* Foo*/ {
+  @org.jetbrains.annotations.NotNull()
+  private error.NonExistentClass delegatedProp$delegate;
+
+  @org.jetbrains.annotations.NotNull()
+  private error.NonExistentClass lazyProp$delegate;
+
+  @org.jetbrains.annotations.NotNull()
+  private final Foo b;
+
+  @org.jetbrains.annotations.NotNull()
+  private final java.lang.Object arrayConst;
+
+  @org.jetbrains.annotations.NotNull()
+  private final java.lang.String CONSTANT_WITH_ESCAPES = "A\tB\nC\rD'E\"F\\G$H" /* initializer type: java.lang.String */;
+
+  @org.jetbrains.annotations.NotNull()
+  private final java.lang.String SUBSYSTEM_DEPRECATED = "This subsystem is deprecated" /* initializer type: java.lang.String */;
+
+  @org.jetbrains.annotations.NotNull()
+  private final kotlin.jvm.functions.Function1<java.lang.Integer, java.lang.Integer> sum;
+
+  @org.jetbrains.annotations.NotNull()
+  private java.lang.Object privateVarWithGet;
+
+  @org.jetbrains.annotations.NotNull()
+  private java.lang.String name;
+
+  @org.jetbrains.annotations.NotNull()
+  private java.lang.String noAccessors;
+
+  @org.jetbrains.annotations.NotNull()
+  private java.lang.String protectedWithPrivateSet;
+
+  @org.jetbrains.annotations.NotNull()
+  public static final Foo.Companion Companion;
+
+  @org.jetbrains.annotations.Nullable()
+  private java.lang.Boolean isEmptyMutable;
+
+  @org.jetbrains.annotations.Nullable()
+  private java.lang.Boolean islowercase;
+
+  @org.jetbrains.annotations.Nullable()
+  private java.lang.Integer counter2;
+
+  @org.jetbrains.annotations.Nullable()
+  private java.lang.Integer getInt;
+
+  @org.jetbrains.annotations.Nullable()
+  private java.lang.Integer isEmptyInt;
+
+  private MyProperty<Foo> delegatedProp2$delegate;
+
+  private boolean c;
+
+  private error.NonExistentClass privateDelegated$delegate;
+
+  private final error.NonExistentClass d;
+
+  private final error.NonExistentClass intConst;
+
+  private final int f1;
+
+  private final long e;
+
+  private int counter;
+
+  private int f2;
+
+  private int internalWithPrivateSet;
+
+  private int privateVarWithPrivateSet;
+
+  private static final error.NonExistentClass contextBean;
+
+  protected java.lang.String protectedLateinitVar;
+
+  public error.NonExistentClass subject;
+
+  public java.lang.String internalVarPrivateSet;
+
+  @org.jetbrains.annotations.NotNull()
+  protected final java.lang.String getProtectedLateinitVar();//  getProtectedLateinitVar()
+
+  @org.jetbrains.annotations.NotNull()
+  protected final java.lang.String getProtectedWithPrivateSet();//  getProtectedWithPrivateSet()
+
+  @org.jetbrains.annotations.NotNull()
+  public final Foo getB();//  getB()
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.Object getArrayConst();//  getArrayConst()
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getDelegatedProp();//  getDelegatedProp()
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getInternalVarPrivateSet();//  getInternalVarPrivateSet()
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getLazyProp();//  getLazyProp()
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getName();//  getName()
+
+  @org.jetbrains.annotations.NotNull()
+  public final java.lang.String getStringRepresentation();//  getStringRepresentation()
+
+  @org.jetbrains.annotations.NotNull()
+  public final kotlin.jvm.functions.Function1<java.lang.Integer, java.lang.Integer> getSum();//  getSum()
+
+  @org.jetbrains.annotations.Nullable()
+  public final java.lang.Boolean getIslowercase();//  getIslowercase()
+
+  @org.jetbrains.annotations.Nullable()
+  public final java.lang.Boolean isEmptyMutable();//  isEmptyMutable()
+
+  @org.jetbrains.annotations.Nullable()
+  public final java.lang.Integer getCounter2();//  getCounter2()
+
+  @org.jetbrains.annotations.Nullable()
+  public final java.lang.Integer getGetInt();//  getGetInt()
+
+  @org.jetbrains.annotations.Nullable()
+  public final java.lang.Integer isEmptyInt();//  isEmptyInt()
+
+  private final int getPrivateDelegated();//  getPrivateDelegated()
+
+  private final java.lang.String getPrivateValWithGet();//  getPrivateValWithGet()
+
+  private final void setPrivateDelegated(int);//  setPrivateDelegated(int)
+
+  protected final int getF2();//  getF2()
+
+  protected final long getE();//  getE()
+
+  protected final void setF2(int);//  setF2(int)
+
+  protected final void setProtectedLateinitVar(@org.jetbrains.annotations.NotNull() java.lang.String);//  setProtectedLateinitVar(java.lang.String)
+
+  public  Foo(int, @org.jetbrains.annotations.NotNull() Foo, boolean, error.NonExistentClass, long);//  .ctor(int, Foo, boolean, error.NonExistentClass, long)
+
+  public final boolean getC();//  getC()
+
+  public final boolean isEmpty();//  isEmpty()
+
+  public final error.NonExistentClass getIntConst();//  getIntConst()
+
+  public final error.NonExistentClass getSubject();//  getSubject()
+
+  public final int getCounter();//  getCounter()
+
+  public final int getDelegatedProp2();//  getDelegatedProp2()
+
+  public final int getF1();//  getF1()
+
+  public final int getIntProp(int);//  getIntProp(int)
+
+  public final int getInternalWithPrivateSet();//  getInternalWithPrivateSet()
+
+  public final void setC(boolean);//  setC(boolean)
+
+  public final void setCounter(int);//  setCounter(int)
+
+  public final void setCounter2(@org.jetbrains.annotations.Nullable() java.lang.Integer);//  setCounter2(java.lang.Integer)
+
+  public final void setDelegatedProp(@org.jetbrains.annotations.NotNull() java.lang.String);//  setDelegatedProp(java.lang.String)
+
+  public final void setDelegatedProp2(int);//  setDelegatedProp2(int)
+
+  public final void setEmptyInt(@org.jetbrains.annotations.Nullable() java.lang.Integer);//  setEmptyInt(java.lang.Integer)
+
+  public final void setEmptyMutable(@org.jetbrains.annotations.Nullable() java.lang.Boolean);//  setEmptyMutable(java.lang.Boolean)
+
+  public final void setGetInt(@org.jetbrains.annotations.Nullable() java.lang.Integer);//  setGetInt(java.lang.Integer)
+
+  public final void setIslowercase(@org.jetbrains.annotations.Nullable() java.lang.Boolean);//  setIslowercase(java.lang.Boolean)
+
+  public final void setLazyProp(@org.jetbrains.annotations.NotNull() java.lang.String);//  setLazyProp(java.lang.String)
+
+  public final void setName(@org.jetbrains.annotations.NotNull() java.lang.String);//  setName(java.lang.String)
+
+  public final void setStringRepresentation(@org.jetbrains.annotations.NotNull() java.lang.String);//  setStringRepresentation(java.lang.String)
+
+  public final void setSubject(error.NonExistentClass);//  setSubject(error.NonExistentClass)
+
+
+  class Companion ...
+
+  }
+
+public static final class Companion /* Foo.Companion*/ {
+  private final int f1;
+
+  private final int prop3;
+
+  private int prop7;
+
+  private  Companion();//  .ctor()
+
+  public final int getF1();//  getF1()
+
+  public final int getProp3();//  getProp3()
+
+  public final int getProp7();//  getProp7()
+
+  public final void setProp7(int);//  setProp7(int)
+
+}
+
+public final class MyProperty /* MyProperty*/<T>  {
+  public  MyProperty();//  .ctor()
+
+  public final int getValue(T, @org.jetbrains.annotations.NotNull() kotlin.reflect.KProperty<?>);//  getValue(T, kotlin.reflect.KProperty<?>)
+
+  public final void setValue(T, @org.jetbrains.annotations.NotNull() kotlin.reflect.KProperty<?>, int);//  setValue(T, kotlin.reflect.KProperty<?>, int)
+
+}
+
+public final class Modifiers /* Modifiers*/ {
+  private final int plainField;
+
+  public  Modifiers();//  .ctor()
+
+  public final int getPlainField();//  getPlainField()
+
+}
+
+public abstract interface A /* A*/ {
+  protected abstract int getInt1();//  getInt1()
+
+  public abstract int getInt2();//  getInt2()
+
+  public abstract void setInt2(int);//  setInt2(int)
+
+}
+
+public final class Foo /* Foo*/ {
+  @org.jetbrains.annotations.NotNull()
+  public final Foo getFoo2();//  getFoo2()
+
+  @org.jetbrains.annotations.NotNull()
+  public final Foo getMeNonNullFoo();//  getMeNonNullFoo()
+
+  public  Foo();//  .ctor()
+
+  public final error.NonExistentClass getFoo();//  getFoo()
+
+}

compiler/testData/asJava/ultraLightClasses/properties.kt

@@ -106,4 +106,6 @@ class Foo {
   val foo get() = getMeNonNullFoo()
   val foo2: Foo get() = getMeNonNullFoo()
   fun getMeNonNullFoo() : Foo = Foo()
-}
+}
+
+// COMPILATION_ERRORS

compiler/testData/asJava/ultraLightClasses/simpleFunctions.fir.java

@@ -0,0 +1,31 @@
+public final class Foo /* Foo*/ {
+  @org.jetbrains.annotations.NotNull()
+  public final Foo onString(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>)
+
+  @org.jetbrains.annotations.NotNull()
+  public final Foo plus(int);//  plus(int)
+
+  @org.jetbrains.annotations.NotNull()
+  public final native java.lang.String externalFun(int);//  externalFun(int)
+
+  private final /* vararg */ java.lang.String bar3(Foo.Inner, @org.jetbrains.annotations.NotNull() Foo.Inner...);//  bar3(Foo.Inner, Foo.Inner[])
+
+  public  Foo();//  .ctor()
+
+  public final /* vararg */ void nullableVararg(@org.jetbrains.annotations.NotNull() java.lang.Object...);//  nullableVararg(java.lang.Object[])
+
+  public final int bar4();//  bar4()
+
+  public final void bar2(error.NonExistentClass, error.NonExistentClass);//  bar2(error.NonExistentClass, error.NonExistentClass)
+
+  public void bar(int, @org.jetbrains.annotations.NotNull() java.lang.Object, @org.jetbrains.annotations.NotNull() Foo);//  bar(int, java.lang.Object, Foo)
+
+
+  class Inner ...
+
+  }
+
+public static final class Inner /* Foo.Inner*/ {
+  public  Inner();//  .ctor()
+
+}