diff --git a/compiler/testData/loadJava8/compiledJava/typeUseAnnotations/BaseClassTypeArguments.txt b/compiler/testData/loadJava8/compiledJava/typeUseAnnotations/BaseClassTypeArguments.txt
index b015fc7b623..05cee3beef8 100644
--- a/compiler/testData/loadJava8/compiledJava/typeUseAnnotations/BaseClassTypeArguments.txt
+++ b/compiler/testData/loadJava8/compiledJava/typeUseAnnotations/BaseClassTypeArguments.txt
@@ -12,10 +12,10 @@ public/*package*/ open class A3</*0*/ T : kotlin.Any!, /*1*/ K : kotlin.Any!, /*
     public/*package*/ constructor A3</*0*/ T : kotlin.Any!, /*1*/ K : kotlin.Any!, /*2*/ L : kotlin.Any!>()
 }
 
-public open class BaseClassTypeArguments</*0*/ B : kotlin.Any!> : test.A3<kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull B>!>!>!>!>!, test.I1<test.I1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!, test.A2<B!, kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!>, test.I1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>)>, test.I2<@org.jetbrains.annotations.NotNull B, B!>, test.I3<kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull B>!>!>!>!>!, B!, @org.jetbrains.annotations.NotNull B> {
+public open class BaseClassTypeArguments</*0*/ B : kotlin.Any!> : test.A3<kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull B>!>!>!>!>!, test.I1<test.I1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!, test.A2<B!, kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!>, test.I1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>)>, test.I2<@org.jetbrains.annotations.NotNull B, B!>, test.I3<kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull B>!>!>!>!>!, B!, @org.jetbrains.annotations.NotNull B> {
     public constructor BaseClassTypeArguments</*0*/ B : kotlin.Any!>()
 
-    public/*package*/ open class BaseClassTypeArguments2</*0*/ B : kotlin.Any!> : test.A3<kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull B>!>!>!>!>!, test.I1<test.I1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!, test.A2<B!, kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!> {
+    public/*package*/ open class BaseClassTypeArguments2</*0*/ B : kotlin.Any!> : test.A3<kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull B>!>!>!>!>!, test.I1<test.I1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!, test.A2<B!, kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!> {
         public/*package*/ constructor BaseClassTypeArguments2</*0*/ B : kotlin.Any!>()
     }
 
@@ -27,10 +27,10 @@ public open class BaseClassTypeArguments</*0*/ B : kotlin.Any!> : test.A3<kotlin
         public/*package*/ constructor Basic2()
     }
 
-    public/*package*/ open inner class ImplementedInterfacesTypeArguments</*0*/ B : kotlin.Any!> /*captured type parameters: /*1*/ B : kotlin.Any!*/ : test.I1<test.I2<test.I1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>)>!, test.I1<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!>, test.I2<@org.jetbrains.annotations.NotNull B, B!>, test.I3<kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull B>!>!>!>!>!, test.I1<test.I1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!, test.I2<B!, kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!> {
+    public/*package*/ open inner class ImplementedInterfacesTypeArguments</*0*/ B : kotlin.Any!> /*captured type parameters: /*1*/ B : kotlin.Any!*/ : test.I1<test.I2<test.I1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>)>!, test.I1<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!>, test.I2<@org.jetbrains.annotations.NotNull B, B!>, test.I3<kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull B>!>!>!>!>!, test.I1<test.I1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!, test.I2<B!, kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!> {
         public/*package*/ constructor ImplementedInterfacesTypeArguments</*0*/ B : kotlin.Any!>()
 
-        public open inner class BaseClassTypeArguments1</*0*/ B : kotlin.Any!> /*captured type parameters: /*1*/ B : kotlin.Any!, /*2*/ B : kotlin.Any!*/ : test.A3<kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull B>!>!>!>!>!, test.I1<test.I1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!, test.A2<B!, kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!> {
+        public open inner class BaseClassTypeArguments1</*0*/ B : kotlin.Any!> /*captured type parameters: /*1*/ B : kotlin.Any!, /*2*/ B : kotlin.Any!*/ : test.A3<kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull B>!>!>!>!>!, test.I1<test.I1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!, test.A2<B!, kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!> {
             public constructor BaseClassTypeArguments1</*0*/ B : kotlin.Any!>()
         }
     }
diff --git a/compiler/testData/loadJava8/compiledJava/typeUseAnnotations/ClassTypeParameterBounds.txt b/compiler/testData/loadJava8/compiledJava/typeUseAnnotations/ClassTypeParameterBounds.txt
index 4e652aec866..6b453ea2e8a 100644
--- a/compiler/testData/loadJava8/compiledJava/typeUseAnnotations/ClassTypeParameterBounds.txt
+++ b/compiler/testData/loadJava8/compiledJava/typeUseAnnotations/ClassTypeParameterBounds.txt
@@ -6,13 +6,13 @@ public open class ClassTypeParameterBounds {
     public/*package*/ interface G1</*0*/ T : @org.jetbrains.annotations.NotNull kotlin.Any> {
     }
 
-    public/*package*/ interface G10</*0*/ _A : test.ClassTypeParameterBounds.I4<@org.jetbrains.annotations.NotNull kotlin.IntArray>!> where _A : test.ClassTypeParameterBounds.I2<out @org.jetbrains.annotations.Nullable kotlin.IntArray?>!, _A : @org.jetbrains.annotations.NotNull test.ClassTypeParameterBounds.I3<out @org.jetbrains.annotations.NotNull kotlin.IntArray> {
+    public/*package*/ interface G10</*0*/ _A : test.ClassTypeParameterBounds.I4<@org.jetbrains.annotations.NotNull kotlin.IntArray!>!> where _A : test.ClassTypeParameterBounds.I2<out @org.jetbrains.annotations.Nullable kotlin.IntArray!>!, _A : @org.jetbrains.annotations.NotNull test.ClassTypeParameterBounds.I3<out @org.jetbrains.annotations.NotNull kotlin.IntArray!> {
     }
 
     public/*package*/ interface G11</*0*/ _A : test.ClassTypeParameterBounds.I4<kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)>!>!>!> where _A : test.ClassTypeParameterBounds.I2<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!>)>!, _A : @org.jetbrains.annotations.NotNull test.ClassTypeParameterBounds.I3<out kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)>!> {
     }
 
-    public/*package*/ interface G12</*0*/ _A : test.ClassTypeParameterBounds.I4<(@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.IntArray!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.IntArray!>?)>!> where _A : test.ClassTypeParameterBounds.I2<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!, _A : @org.jetbrains.annotations.NotNull test.ClassTypeParameterBounds.I3<out kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!> {
+    public/*package*/ interface G12</*0*/ _A : test.ClassTypeParameterBounds.I4<(@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.IntArray!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.IntArray!>?)>!> where _A : test.ClassTypeParameterBounds.I2<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!, _A : @org.jetbrains.annotations.NotNull test.ClassTypeParameterBounds.I3<out kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!> {
     }
 
     public/*package*/ open inner class G2</*0*/ _A : kotlin.Any!, /*1*/ B : @org.jetbrains.annotations.Nullable kotlin.Int?> {
diff --git a/compiler/testData/loadJava8/compiledJava/typeUseAnnotations/MethodTypeParameterBounds.txt b/compiler/testData/loadJava8/compiledJava/typeUseAnnotations/MethodTypeParameterBounds.txt
index 719fa5aca50..9df7a2107c5 100644
--- a/compiler/testData/loadJava8/compiledJava/typeUseAnnotations/MethodTypeParameterBounds.txt
+++ b/compiler/testData/loadJava8/compiledJava/typeUseAnnotations/MethodTypeParameterBounds.txt
@@ -5,9 +5,9 @@ public/*package*/ abstract class MethodTypeParameterBounds {
     public/*package*/ open fun </*0*/ T : @org.jetbrains.annotations.NotNull kotlin.Any> f1(/*0*/ p0: T): kotlin.Unit
     public/*package*/ open fun </*0*/ _A : kotlin.Any!> f10(/*0*/ p0: _A): kotlin.Unit where _A : test.MethodTypeParameterBounds.I2<in @org.jetbrains.annotations.Nullable kotlin.Int?>!, _A : @org.jetbrains.annotations.Nullable test.MethodTypeParameterBounds.I3<out kotlin.String!>?
     public/*package*/ open fun </*0*/ _A : test.MethodTypeParameterBounds.I4<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)>!> f11(/*0*/ p0: _A): kotlin.Unit where _A : test.MethodTypeParameterBounds.I2<out (@org.jetbrains.annotations.Nullable kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.Int?>?..@org.jetbrains.annotations.Nullable kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.Int?>?)>!, _A : @org.jetbrains.annotations.Nullable test.MethodTypeParameterBounds.I3<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)>?
-    public/*package*/ open fun </*0*/ _A : test.MethodTypeParameterBounds.I4<@org.jetbrains.annotations.Nullable kotlin.IntArray?>!> f12(/*0*/ p0: _A): kotlin.Unit where _A : test.MethodTypeParameterBounds.I2<out @org.jetbrains.annotations.Nullable kotlin.IntArray?>!, _A : @org.jetbrains.annotations.NotNull test.MethodTypeParameterBounds.I3<out @org.jetbrains.annotations.Nullable kotlin.IntArray?>
+    public/*package*/ open fun </*0*/ _A : test.MethodTypeParameterBounds.I4<@org.jetbrains.annotations.Nullable kotlin.IntArray!>!> f12(/*0*/ p0: _A): kotlin.Unit where _A : test.MethodTypeParameterBounds.I2<out @org.jetbrains.annotations.Nullable kotlin.IntArray!>!, _A : @org.jetbrains.annotations.NotNull test.MethodTypeParameterBounds.I3<out @org.jetbrains.annotations.Nullable kotlin.IntArray!>
     public/*package*/ open fun </*0*/ _A : test.MethodTypeParameterBounds.I4<kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Int!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Int!>?)>!>!>!> f13(/*0*/ p0: _A): kotlin.Unit where _A : test.MethodTypeParameterBounds.I2<out (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.Int?>!>!>!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.Int?>!>!>!>?)>!, _A : @org.jetbrains.annotations.Nullable test.MethodTypeParameterBounds.I3<out kotlin.Array<(out) (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Int!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Int!>?)>!>?
-    public/*package*/ abstract fun </*0*/ _A : test.MethodTypeParameterBounds.I4<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!> f14(/*0*/ p0: _A): kotlin.Unit where _A : test.MethodTypeParameterBounds.I2<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray?>!>!>!, _A : @org.jetbrains.annotations.Nullable test.MethodTypeParameterBounds.I3<out kotlin.Array<(out) (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.IntArray!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.IntArray!>?)>!>?
+    public/*package*/ abstract fun </*0*/ _A : test.MethodTypeParameterBounds.I4<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!> f14(/*0*/ p0: _A): kotlin.Unit where _A : test.MethodTypeParameterBounds.I2<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray!>!>!>!, _A : @org.jetbrains.annotations.Nullable test.MethodTypeParameterBounds.I3<out kotlin.Array<(out) (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.IntArray!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.IntArray!>?)>!>?
     public/*package*/ open fun </*0*/ _A : kotlin.Any!, /*1*/ B : test.MethodTypeParameterBounds.I3<@org.jetbrains.annotations.Nullable _A?>!> f15(/*0*/ p0: _A!): kotlin.Unit where B : @org.jetbrains.annotations.NotNull test.MethodTypeParameterBounds.I2<_A!>
     public/*package*/ open fun </*0*/ _A : kotlin.Any!, /*1*/ B : @org.jetbrains.annotations.NotNull kotlin.Int> f2(/*0*/ p0: _A!, /*1*/ p1: B): kotlin.Unit
     public/*package*/ open fun </*0*/ _A : kotlin.Any!, /*1*/ B : kotlin.Any!> f3(/*0*/ p0: _A!, /*1*/ p1: B): kotlin.Unit where B : @org.jetbrains.annotations.Nullable test.MethodTypeParameterBounds.I1?
diff --git a/compiler/testData/loadJava8/compiledJava/typeUseAnnotations/ReturnType.txt b/compiler/testData/loadJava8/compiledJava/typeUseAnnotations/ReturnType.txt
index da8dc1ece74..e4c18a96607 100644
--- a/compiler/testData/loadJava8/compiledJava/typeUseAnnotations/ReturnType.txt
+++ b/compiler/testData/loadJava8/compiledJava/typeUseAnnotations/ReturnType.txt
@@ -14,41 +14,41 @@ public/*package*/ interface ReturnType {
     public abstract fun f1(): test.G1<test.G1<test.G1<test.G1<@org.jetbrains.annotations.NotNull test.G0>!>!>!>!
     public abstract fun f11(): test.G2<in @org.jetbrains.annotations.NotNull kotlin.String, test.G2<in @org.jetbrains.annotations.NotNull kotlin.Int, test.G2<in @org.jetbrains.annotations.NotNull test.G2<kotlin.Int!, in @org.jetbrains.annotations.NotNull kotlin.Int>, in @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!
     public abstract fun f13(): (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)
-    public abstract fun f14(): @org.jetbrains.annotations.NotNull kotlin.IntArray
+    public abstract fun f14(): @org.jetbrains.annotations.NotNull kotlin.IntArray!
     @org.jetbrains.annotations.NotNull public abstract fun f15(): kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!
     @org.jetbrains.annotations.NotNull public abstract fun f16(): kotlin.IntArray!
     @org.jetbrains.annotations.NotNull public abstract fun f17(): (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)
     public abstract fun f19(): (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Int!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Int!>!>)
     public abstract fun f2(): test.G1<@org.jetbrains.annotations.NotNull kotlin.String>!
-    public abstract fun f20(): (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray>)
-    @org.jetbrains.annotations.NotNull public abstract fun f22(): (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>)>)
+    public abstract fun f20(): (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>)
+    @org.jetbrains.annotations.NotNull public abstract fun f22(): (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>)>)
     @org.jetbrains.annotations.NotNull public abstract fun f23(): (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>)>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>)>!>)
-    public abstract fun f25(): kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!
+    public abstract fun f25(): kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!
     public abstract fun f26(): kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Any!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Any!>)>!
     @org.jetbrains.annotations.NotNull public abstract fun f27(): kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Any>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Any>)>!>!>!>!
     public abstract fun f28(): test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)>!
-    public abstract fun f29(): test.G2<kotlin.Int!, @org.jetbrains.annotations.NotNull kotlin.IntArray>!
+    public abstract fun f29(): test.G2<kotlin.Int!, @org.jetbrains.annotations.NotNull kotlin.IntArray!>!
     public abstract fun f3(): test.G2<@org.jetbrains.annotations.NotNull kotlin.String, test.G2<@org.jetbrains.annotations.NotNull kotlin.Int, test.G2<@org.jetbrains.annotations.NotNull test.G2<kotlin.Int!, @org.jetbrains.annotations.NotNull kotlin.Int>, @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!
     public abstract fun f30(): test.G1<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!
     public abstract fun f31(): test.G1<test.G1<kotlin.IntArray!>!>!
-    public abstract fun f32(): test.G1<test.G2<test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<@org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!
-    public abstract fun f33(): test.G1<@org.jetbrains.annotations.NotNull kotlin.IntArray>!
+    public abstract fun f32(): test.G1<test.G2<test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<@org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!
+    public abstract fun f33(): test.G1<@org.jetbrains.annotations.NotNull kotlin.IntArray!>!
     public abstract fun f34(): test.G1<kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)>!>!
     public abstract fun f36(): test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>)>!
     public abstract fun f37(): test.G1<test.G1<kotlin.Array<(out) kotlin.Array<(out) kotlin.IntArray!>!>!>!>!
-    public abstract fun f38(): test.G1<test.G2<test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!>!>!
+    public abstract fun f38(): test.G1<test.G2<test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!>!>!
     public abstract fun f39(): test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>)>!
     public abstract fun f40(): test.G1<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)>!
-    public abstract fun f41(): test.G2<out kotlin.Int!, in @org.jetbrains.annotations.NotNull kotlin.IntArray>!
+    public abstract fun f41(): test.G2<out kotlin.Int!, in @org.jetbrains.annotations.NotNull kotlin.IntArray!>!
     public abstract fun f42(): test.G1<in kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!
     public abstract fun f43(): test.G1<in test.G1<in kotlin.IntArray!>!>!
-    public abstract fun f44(): test.G1<out test.G2<test.G1<in (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<out @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!
-    public abstract fun f46(): test.G1<in @org.jetbrains.annotations.NotNull kotlin.IntArray>!
+    public abstract fun f44(): test.G1<out test.G2<test.G1<in (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!
+    public abstract fun f46(): test.G1<in @org.jetbrains.annotations.NotNull kotlin.IntArray!>!
     public abstract fun f47(): test.G1<out kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)>!>!
     public abstract fun f49(): test.G1<in kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!>!>!>!
     public abstract fun f5(): test.G1<test.G1<test.G1<test.G1<out @org.jetbrains.annotations.NotNull test.G0>!>!>!>!
     public abstract fun f50(): test.G1<in test.G1<in (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!
-    public abstract fun f51(): test.G1<out test.G2<test.G1<in kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!>!>!, test.G1<out (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray>)>)>!>!>!
+    public abstract fun f51(): test.G1<out test.G2<test.G1<in kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!>!>!, test.G1<out (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>)>)>!>!>!
     public abstract fun f53(): test.G1<in (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!
     public abstract fun f6(): test.G1<out @org.jetbrains.annotations.NotNull kotlin.String>!
     public abstract fun f7(): test.G2<out @org.jetbrains.annotations.NotNull kotlin.String, test.G2<out @org.jetbrains.annotations.NotNull kotlin.Int, test.G2<out @org.jetbrains.annotations.NotNull test.G2<kotlin.Int!, out @org.jetbrains.annotations.NotNull kotlin.Int>, out @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!
@@ -63,25 +63,25 @@ public/*package*/ interface ReturnType {
         @org.jetbrains.annotations.NotNull public/*package*/ final var f182: (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)
         public/*package*/ final var f183: test.G1<@org.jetbrains.annotations.NotNull kotlin.Int>!
         @org.jetbrains.annotations.NotNull public/*package*/ final var f21: kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!
-        @org.jetbrains.annotations.NotNull public/*package*/ final var f24: (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray>)
+        @org.jetbrains.annotations.NotNull public/*package*/ final var f24: (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>)
         public/*package*/ final var f35: test.G2<kotlin.Int!, (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!
         public/*package*/ final var f4: test.G1<out @org.jetbrains.annotations.NotNull test.G0>!
-        public/*package*/ final var f45: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<out @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!
-        public/*package*/ final var f48: test.G2<out kotlin.Int!, in kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!
-        public/*package*/ final var f52: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>)>!, test.G1<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!>!
+        public/*package*/ final var f45: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!
+        public/*package*/ final var f48: test.G2<out kotlin.Int!, in kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!
+        public/*package*/ final var f52: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>)>!, test.G1<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!>!
     }
 
     // Static members
     public final val f10: test.G1<in @org.jetbrains.annotations.NotNull kotlin.String>!
     public final val f12: test.G2<in @org.jetbrains.annotations.NotNull kotlin.String, test.G2<out @org.jetbrains.annotations.NotNull kotlin.Int, test.G2<out @org.jetbrains.annotations.NotNull test.G2<kotlin.Int!, in @org.jetbrains.annotations.NotNull kotlin.Int>, out @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!
     @org.jetbrains.annotations.NotNull public final val f161: kotlin.IntArray!
-    @org.jetbrains.annotations.NotNull public final val f18: @org.jetbrains.annotations.NotNull kotlin.IntArray
+    @org.jetbrains.annotations.NotNull public final val f18: @org.jetbrains.annotations.NotNull kotlin.IntArray!
     @org.jetbrains.annotations.NotNull public final val f21: kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!
-    @org.jetbrains.annotations.NotNull public final val f24: (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray>)
+    @org.jetbrains.annotations.NotNull public final val f24: (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>)
     @org.jetbrains.annotations.NotNull public final val f271: kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Any>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Any>)>!>!>!>!
     public final val f35: test.G2<kotlin.Int!, (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!
     public final val f4: test.G1<out @org.jetbrains.annotations.NotNull test.G0>!
-    public final val f45: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<out @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!
-    public final val f48: test.G2<out kotlin.Int!, in kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!
-    public final val f52: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>)>!, test.G1<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!>!
+    public final val f45: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!
+    public final val f48: test.G2<out kotlin.Int!, in kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!
+    public final val f52: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>)>!, test.G1<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!>!
 }
diff --git a/compiler/testData/loadJava8/compiledJava/typeUseAnnotations/ValueArguments.txt b/compiler/testData/loadJava8/compiledJava/typeUseAnnotations/ValueArguments.txt
index 4f37e86fb27..99fac565481 100644
--- a/compiler/testData/loadJava8/compiledJava/typeUseAnnotations/ValueArguments.txt
+++ b/compiler/testData/loadJava8/compiledJava/typeUseAnnotations/ValueArguments.txt
@@ -16,56 +16,56 @@ public/*package*/ interface ValueArguments {
     public abstract fun f11(/*0*/ p0: test.G2<in @org.jetbrains.annotations.Nullable kotlin.String?, test.G2<in @org.jetbrains.annotations.Nullable kotlin.Int?, test.G2<in @org.jetbrains.annotations.Nullable test.G2<kotlin.Int!, in @org.jetbrains.annotations.NotNull kotlin.Int>?, in @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!): kotlin.Unit
     public abstract fun f12(/*0*/ p0: test.G2<in @org.jetbrains.annotations.NotNull kotlin.String, test.G2<out @org.jetbrains.annotations.NotNull kotlin.Int, test.G2<out @org.jetbrains.annotations.NotNull test.G2<kotlin.Int!, in @org.jetbrains.annotations.NotNull kotlin.Int>, out @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!): kotlin.Unit
     public abstract fun f13(/*0*/ p0: (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)): kotlin.Unit
-    public abstract fun f14(/*0*/ p0: @org.jetbrains.annotations.NotNull kotlin.IntArray): kotlin.Unit
+    public abstract fun f14(/*0*/ p0: @org.jetbrains.annotations.NotNull kotlin.IntArray!): kotlin.Unit
     public abstract fun f15(/*0*/ @org.jetbrains.annotations.NotNull p0: kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!): kotlin.Unit
     public abstract fun f16(/*0*/ @org.jetbrains.annotations.Nullable p0: kotlin.IntArray!): kotlin.Unit
     public abstract fun f17(/*0*/ @org.jetbrains.annotations.Nullable p0: (@org.jetbrains.annotations.Nullable kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.Int?>?..@org.jetbrains.annotations.Nullable kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.Int?>?)): kotlin.Unit
-    public abstract fun f18(/*0*/ @org.jetbrains.annotations.Nullable p0: @org.jetbrains.annotations.Nullable kotlin.IntArray?, /*1*/ p1: (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Int!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Int!>?), /*2*/ @org.jetbrains.annotations.Nullable p2: kotlin.IntArray!): kotlin.Unit
+    public abstract fun f18(/*0*/ @org.jetbrains.annotations.Nullable p0: @org.jetbrains.annotations.Nullable kotlin.IntArray!, /*1*/ p1: (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Int!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Int!>?), /*2*/ @org.jetbrains.annotations.Nullable p2: kotlin.IntArray!): kotlin.Unit
     public abstract fun f19(/*0*/ p0: (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Int!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Int!>!>)): kotlin.Unit
     public abstract fun f2(/*0*/ p0: test.G1<@org.jetbrains.annotations.NotNull kotlin.String>!): kotlin.Unit
-    public abstract fun f20(/*0*/ p0: (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray>)): kotlin.Unit
+    public abstract fun f20(/*0*/ p0: (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>)): kotlin.Unit
     public abstract fun f21(/*0*/ @org.jetbrains.annotations.NotNull p0: kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!): kotlin.Unit
-    public abstract fun f22(/*0*/ @org.jetbrains.annotations.NotNull p0: (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>)>)): kotlin.Unit
+    public abstract fun f22(/*0*/ @org.jetbrains.annotations.NotNull p0: (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>)>)): kotlin.Unit
     public abstract fun f23(/*0*/ @org.jetbrains.annotations.NotNull p0: (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>)>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>)>!>)): kotlin.Unit
-    public abstract fun f24(/*0*/ @org.jetbrains.annotations.NotNull p0: (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray>)): kotlin.Unit
-    public abstract fun f25(/*0*/ p0: kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray?>!): kotlin.Unit
-    public abstract fun f26(/*0*/ p0: kotlin.Array<(out) (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Any!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Any!>?)>!, /*1*/ p1: kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray?>!, /*2*/ @org.jetbrains.annotations.Nullable p2: (@org.jetbrains.annotations.Nullable kotlin.Array<(@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray?>!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray?>!>?)>?..@org.jetbrains.annotations.Nullable kotlin.Array<out (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray?>!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray?>!>?)>?)): kotlin.Unit
+    public abstract fun f24(/*0*/ @org.jetbrains.annotations.NotNull p0: (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>)): kotlin.Unit
+    public abstract fun f25(/*0*/ p0: kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray!>!): kotlin.Unit
+    public abstract fun f26(/*0*/ p0: kotlin.Array<(out) (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Any!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Any!>?)>!, /*1*/ p1: kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray!>!, /*2*/ @org.jetbrains.annotations.Nullable p2: (@org.jetbrains.annotations.Nullable kotlin.Array<(@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray!>!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray!>!>?)>?..@org.jetbrains.annotations.Nullable kotlin.Array<out (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray!>!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray!>!>?)>?)): kotlin.Unit
     public abstract fun f27(/*0*/ @org.jetbrains.annotations.Nullable p0: kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.Nullable kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.Any?>?..@org.jetbrains.annotations.Nullable kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.Any?>?)>!>!>!>!): kotlin.Unit
     public abstract fun f28(/*0*/ p0: test.G1<(@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Int!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Int!>?)>!): kotlin.Unit
-    public abstract fun f29(/*0*/ p0: test.G2<kotlin.Int!, @org.jetbrains.annotations.Nullable kotlin.IntArray?>!): kotlin.Unit
+    public abstract fun f29(/*0*/ p0: test.G2<kotlin.Int!, @org.jetbrains.annotations.Nullable kotlin.IntArray!>!): kotlin.Unit
     public abstract fun f3(/*0*/ p0: test.G2<@org.jetbrains.annotations.NotNull kotlin.String, test.G2<@org.jetbrains.annotations.NotNull kotlin.Int, test.G2<@org.jetbrains.annotations.NotNull test.G2<kotlin.Int!, @org.jetbrains.annotations.NotNull kotlin.Int>, @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!): kotlin.Unit
     public abstract fun f30(/*0*/ p0: test.G1<kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.Int?>!>!): kotlin.Unit
     public abstract fun f31(/*0*/ p0: test.G1<test.G1<kotlin.IntArray!>!>!): kotlin.Unit
-    public abstract fun f32(/*0*/ p0: test.G1<test.G2<test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<@org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!): kotlin.Unit
-    public abstract fun f33(/*0*/ p0: test.G1<@org.jetbrains.annotations.NotNull kotlin.IntArray>!): kotlin.Unit
+    public abstract fun f32(/*0*/ p0: test.G1<test.G2<test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<@org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!): kotlin.Unit
+    public abstract fun f33(/*0*/ p0: test.G1<@org.jetbrains.annotations.NotNull kotlin.IntArray!>!): kotlin.Unit
     public abstract fun f34(/*0*/ p0: test.G1<kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)>!>!): kotlin.Unit
     public abstract fun f35(/*0*/ p0: test.G2<kotlin.Int!, (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!, /*1*/ p1: test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>)>!, /*2*/ p2: test.G1<test.G1<kotlin.IntArray!>!>!): kotlin.Unit
     public abstract fun f36(/*0*/ p0: test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>)>!): kotlin.Unit
     public abstract fun f37(/*0*/ p0: test.G1<test.G1<kotlin.Array<(out) kotlin.Array<(out) kotlin.IntArray!>!>!>!>!): kotlin.Unit
-    public abstract fun f38(/*0*/ p0: test.G1<test.G2<test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!>!>!): kotlin.Unit
+    public abstract fun f38(/*0*/ p0: test.G1<test.G2<test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!>!>!): kotlin.Unit
     public abstract fun f39(/*0*/ p0: test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>)>!): kotlin.Unit
     public abstract fun f4(/*0*/ p0: test.G1<out @org.jetbrains.annotations.NotNull test.G0>!): kotlin.Unit
     public abstract fun f40(/*0*/ p0: test.G1<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)>!): kotlin.Unit
-    public abstract fun f41(/*0*/ p0: test.G2<out kotlin.Int!, in @org.jetbrains.annotations.NotNull kotlin.IntArray>!): kotlin.Unit
+    public abstract fun f41(/*0*/ p0: test.G2<out kotlin.Int!, in @org.jetbrains.annotations.NotNull kotlin.IntArray!>!): kotlin.Unit
     public abstract fun f42(/*0*/ p0: test.G1<in kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.Int?>!>!): kotlin.Unit
     public abstract fun f43(/*0*/ p0: test.G1<in test.G1<in kotlin.IntArray!>!>!): kotlin.Unit
-    public abstract fun f44(/*0*/ p0: test.G1<out test.G2<test.G1<in (@org.jetbrains.annotations.Nullable kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.Int?>?..@org.jetbrains.annotations.Nullable kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.Int?>?)>!, test.G1<out @org.jetbrains.annotations.Nullable kotlin.IntArray?>!>!>!): kotlin.Unit
-    public abstract fun f45(/*0*/ p0: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.Nullable kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.Int?>?..@org.jetbrains.annotations.Nullable kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.Int?>?)>!, test.G1<out @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!): kotlin.Unit
-    public abstract fun f46(/*0*/ p0: test.G1<in @org.jetbrains.annotations.NotNull kotlin.IntArray>!): kotlin.Unit
+    public abstract fun f44(/*0*/ p0: test.G1<out test.G2<test.G1<in (@org.jetbrains.annotations.Nullable kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.Int?>?..@org.jetbrains.annotations.Nullable kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.Int?>?)>!, test.G1<out @org.jetbrains.annotations.Nullable kotlin.IntArray!>!>!>!): kotlin.Unit
+    public abstract fun f45(/*0*/ p0: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.Nullable kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.Int?>?..@org.jetbrains.annotations.Nullable kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.Int?>?)>!, test.G1<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!): kotlin.Unit
+    public abstract fun f46(/*0*/ p0: test.G1<in @org.jetbrains.annotations.NotNull kotlin.IntArray!>!): kotlin.Unit
     public abstract fun f47(/*0*/ p0: test.G1<out kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)>!>!): kotlin.Unit
-    public abstract fun f48(/*0*/ p0: test.G2<out kotlin.Int!, in kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!): kotlin.Unit
-    public abstract fun f49(/*0*/ p0: test.G1<in kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!>!>!>!, /*1*/ p1: test.G1<in test.G1<in (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!, /*2*/ p2: test.G2<out kotlin.Int!, in kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!): kotlin.Unit
+    public abstract fun f48(/*0*/ p0: test.G2<out kotlin.Int!, in kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!): kotlin.Unit
+    public abstract fun f49(/*0*/ p0: test.G1<in kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!>!>!>!, /*1*/ p1: test.G1<in test.G1<in (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!, /*2*/ p2: test.G2<out kotlin.Int!, in kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!): kotlin.Unit
     public abstract fun f5(/*0*/ p0: test.G1<test.G1<test.G1<test.G1<out @org.jetbrains.annotations.NotNull test.G0>!>!>!>!): kotlin.Unit
     public abstract fun f50(/*0*/ p0: test.G1<in test.G1<in (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!): kotlin.Unit
-    public abstract fun f51(/*0*/ p0: test.G1<out test.G2<test.G1<in kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!>!>!, test.G1<out (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray>)>)>!>!>!): kotlin.Unit
-    public abstract fun f52(/*0*/ p0: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>)>!, test.G1<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!>!): kotlin.Unit
+    public abstract fun f51(/*0*/ p0: test.G1<out test.G2<test.G1<in kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!>!>!, test.G1<out (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>)>)>!>!>!): kotlin.Unit
+    public abstract fun f52(/*0*/ p0: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>)>!, test.G1<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!>!): kotlin.Unit
     public abstract fun f53(/*0*/ p0: test.G1<in (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!): kotlin.Unit
-    public abstract fun f54(/*0*/ p0: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>)>!, test.G1<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!>!, /*1*/ p1: test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>)>!, /*2*/ @org.jetbrains.annotations.NotNull p2: kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Any>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Any>)>!>!>!>!, /*3*/ @org.jetbrains.annotations.NotNull p3: @org.jetbrains.annotations.NotNull kotlin.IntArray, /*4*/ p4: test.G2<in @org.jetbrains.annotations.NotNull kotlin.String, test.G2<out @org.jetbrains.annotations.NotNull kotlin.Int, test.G2<out @org.jetbrains.annotations.NotNull test.G2<kotlin.Int!, in @org.jetbrains.annotations.NotNull kotlin.Int>, out @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!): kotlin.Unit
+    public abstract fun f54(/*0*/ p0: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>)>!, test.G1<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!>!, /*1*/ p1: test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>)>!, /*2*/ @org.jetbrains.annotations.NotNull p2: kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Any>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Any>)>!>!>!>!, /*3*/ @org.jetbrains.annotations.NotNull p3: @org.jetbrains.annotations.NotNull kotlin.IntArray!, /*4*/ p4: test.G2<in @org.jetbrains.annotations.NotNull kotlin.String, test.G2<out @org.jetbrains.annotations.NotNull kotlin.Int, test.G2<out @org.jetbrains.annotations.NotNull test.G2<kotlin.Int!, in @org.jetbrains.annotations.NotNull kotlin.Int>, out @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!): kotlin.Unit
     public abstract fun f55(/*0*/ @org.jetbrains.annotations.NotNull vararg p0: @org.jetbrains.annotations.NotNull kotlin.String /*kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.String>!*/): kotlin.Unit
     public abstract fun f56(/*0*/ vararg p0: kotlin.String! /*(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.String!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.String!>)*/): kotlin.Unit
     public abstract fun f57(/*0*/ @org.jetbrains.annotations.NotNull vararg p0: @org.jetbrains.annotations.NotNull kotlin.String /*(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.String>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.String>)*/): kotlin.Unit
     public abstract fun f58(/*0*/ @org.jetbrains.annotations.NotNull vararg p0: kotlin.Int /*kotlin.IntArray!*/): kotlin.Unit
-    public abstract fun f59(/*0*/ vararg p0: kotlin.Int /*@org.jetbrains.annotations.NotNull kotlin.IntArray*/): kotlin.Unit
+    public abstract fun f59(/*0*/ vararg p0: kotlin.Int /*@org.jetbrains.annotations.NotNull kotlin.IntArray!*/): kotlin.Unit
     public abstract fun f6(/*0*/ p0: test.G1<out @org.jetbrains.annotations.NotNull kotlin.String>!, /*1*/ p1: test.G1<test.G1<test.G1<test.G1<out @org.jetbrains.annotations.NotNull test.G0>!>!>!>!): kotlin.Unit
     public abstract fun f60(/*0*/ @org.jetbrains.annotations.NotNull vararg p0: kotlin.Int /*@org.jetbrains.annotations.Nullable kotlin.IntArray!*/): kotlin.Unit
     public abstract fun f61(/*0*/ @org.jetbrains.annotations.Nullable vararg p0: kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.String?>! /*kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.String?>!>!*/): kotlin.Unit
@@ -74,8 +74,8 @@ public/*package*/ interface ValueArguments {
     public abstract fun f64(/*0*/ @org.jetbrains.annotations.NotNull vararg p0: (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.String>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.String>) /*(@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.String>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.String>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.String>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.String>)>)*/): kotlin.Unit
     public abstract fun f65(/*0*/ @org.jetbrains.annotations.NotNull vararg p0: kotlin.IntArray! /*kotlin.Array<(out) kotlin.IntArray!>!*/): kotlin.Unit
     public abstract fun f66(/*0*/ vararg p0: kotlin.IntArray! /*(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)*/): kotlin.Unit
-    public abstract fun f67(/*0*/ vararg p0: @org.jetbrains.annotations.NotNull kotlin.IntArray /*kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!*/): kotlin.Unit
-    public abstract fun f68(/*0*/ @org.jetbrains.annotations.NotNull vararg p0: @org.jetbrains.annotations.NotNull kotlin.IntArray /*(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray>)*/): kotlin.Unit
+    public abstract fun f67(/*0*/ vararg p0: @org.jetbrains.annotations.NotNull kotlin.IntArray! /*kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!*/): kotlin.Unit
+    public abstract fun f68(/*0*/ @org.jetbrains.annotations.NotNull vararg p0: @org.jetbrains.annotations.NotNull kotlin.IntArray! /*(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>)*/): kotlin.Unit
     public abstract fun f69(/*0*/ @org.jetbrains.annotations.NotNull vararg p0: kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.String>!>! /*kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.String>!>!>!*/): kotlin.Unit
     public abstract fun f7(/*0*/ p0: test.G2<out @org.jetbrains.annotations.NotNull kotlin.String, test.G2<out @org.jetbrains.annotations.NotNull kotlin.Int, test.G2<out @org.jetbrains.annotations.NotNull test.G2<kotlin.Int!, out @org.jetbrains.annotations.NotNull kotlin.Int>, out @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!): kotlin.Unit
     public abstract fun f70(/*0*/ vararg p0: (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Array<(out) kotlin.String!>!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Array<(out) kotlin.String!>!>?) /*kotlin.Array<(out) (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Array<(out) kotlin.String!>!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Array<(out) kotlin.String!>!>?)>!*/): kotlin.Unit
@@ -83,12 +83,12 @@ public/*package*/ interface ValueArguments {
     public abstract fun f72(/*0*/ @org.jetbrains.annotations.Nullable vararg p0: kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.String?>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.String?>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.String?>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.String?>)>)>! /*(@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.String?>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.String?>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.String?>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.String?>)>)>!>..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.String?>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.String?>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.String?>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.String?>)>)>!>?)*/): kotlin.Unit
     public abstract fun f73(/*0*/ @org.jetbrains.annotations.NotNull vararg p0: (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>) /*kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!*/): kotlin.Unit
     public abstract fun f74(/*0*/ vararg p0: kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>! /*(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!>)*/): kotlin.Unit
-    public abstract fun f75(/*0*/ vararg p0: kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>! /*kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!*/): kotlin.Unit
-    public abstract fun f76(/*0*/ @org.jetbrains.annotations.NotNull vararg p0: kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>! /*(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>)*/): kotlin.Unit
+    public abstract fun f75(/*0*/ vararg p0: kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>! /*kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!*/): kotlin.Unit
+    public abstract fun f76(/*0*/ @org.jetbrains.annotations.NotNull vararg p0: kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>! /*(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>)*/): kotlin.Unit
     public abstract fun f8(/*0*/ p0: test.G1<in @org.jetbrains.annotations.Nullable test.G0?>!): kotlin.Unit
     public abstract fun f9(/*0*/ p0: test.G1<test.G1<test.G1<test.G1<in @org.jetbrains.annotations.Nullable test.G0?>!>!>!>!): kotlin.Unit
 
     public open class Test {
-        public constructor Test(/*0*/ p0: test.G2<in @org.jetbrains.annotations.NotNull kotlin.String, test.G2<out @org.jetbrains.annotations.Nullable kotlin.Int?, test.G2<out @org.jetbrains.annotations.Nullable test.G2<kotlin.Int!, in @org.jetbrains.annotations.Nullable kotlin.Int?>?, out @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!, /*1*/ p1: kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Any!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Any!>)>!, /*2*/ p2: kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!, /*3*/ @org.jetbrains.annotations.NotNull p3: (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>)>), /*4*/ @org.jetbrains.annotations.NotNull vararg p4: kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>! /*(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>)*/)
+        public constructor Test(/*0*/ p0: test.G2<in @org.jetbrains.annotations.NotNull kotlin.String, test.G2<out @org.jetbrains.annotations.Nullable kotlin.Int?, test.G2<out @org.jetbrains.annotations.Nullable test.G2<kotlin.Int!, in @org.jetbrains.annotations.Nullable kotlin.Int?>?, out @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!, /*1*/ p1: kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Any!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Any!>)>!, /*2*/ p2: kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!, /*3*/ @org.jetbrains.annotations.NotNull p3: (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>)>), /*4*/ @org.jetbrains.annotations.NotNull vararg p4: kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>! /*(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>)*/)
     }
 }
diff --git a/compiler/testData/loadJava8/sourceJava/typeUseAnnotations/BaseClassTypeArguments.txt b/compiler/testData/loadJava8/sourceJava/typeUseAnnotations/BaseClassTypeArguments.txt
index c50e6fa3c4b..e24d09f9faa 100644
--- a/compiler/testData/loadJava8/sourceJava/typeUseAnnotations/BaseClassTypeArguments.txt
+++ b/compiler/testData/loadJava8/sourceJava/typeUseAnnotations/BaseClassTypeArguments.txt
@@ -1,9 +1,9 @@
 package test
 
-public open class BaseClassTypeArguments</*0*/ B : kotlin.Any!> : test.A3<kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull B>!>!>!>!>!, test.I1<test.I1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!, test.A2<B!, kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!>, test.I1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>)>, test.I2<@org.jetbrains.annotations.NotNull B, B!>, test.I3<kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull B>!>!>!>!>!, B!, @org.jetbrains.annotations.NotNull B> {
+public open class BaseClassTypeArguments</*0*/ B : kotlin.Any!> : test.A3<kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull B>!>!>!>!>!, test.I1<test.I1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!, test.A2<B!, kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!>, test.I1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>)>, test.I2<@org.jetbrains.annotations.NotNull B, B!>, test.I3<kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull B>!>!>!>!>!, B!, @org.jetbrains.annotations.NotNull B> {
     public constructor BaseClassTypeArguments</*0*/ B : kotlin.Any!>()
 
-    public/*package*/ open class BaseClassTypeArguments2</*0*/ B : kotlin.Any!> : test.A3<kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull B>!>!>!>!>!, test.I1<test.I1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!, test.A2<B!, kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!> {
+    public/*package*/ open class BaseClassTypeArguments2</*0*/ B : kotlin.Any!> : test.A3<kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull B>!>!>!>!>!, test.I1<test.I1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!, test.A2<B!, kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!> {
         public/*package*/ constructor BaseClassTypeArguments2</*0*/ B : kotlin.Any!>()
     }
 
@@ -15,10 +15,10 @@ public open class BaseClassTypeArguments</*0*/ B : kotlin.Any!> : test.A3<kotlin
         public/*package*/ constructor Basic2()
     }
 
-    public/*package*/ open inner class ImplementedInterfacesTypeArguments</*0*/ B : kotlin.Any!> /*captured type parameters: /*1*/ B : kotlin.Any!*/ : test.I1<test.I2<test.I1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>)>!, test.I1<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!>, test.I2<@org.jetbrains.annotations.NotNull B, B!>, test.I3<kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull B>!>!>!>!>!, test.I1<test.I1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!, test.I2<B!, kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!> {
+    public/*package*/ open inner class ImplementedInterfacesTypeArguments</*0*/ B : kotlin.Any!> /*captured type parameters: /*1*/ B : kotlin.Any!*/ : test.I1<test.I2<test.I1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>)>!, test.I1<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!>, test.I2<@org.jetbrains.annotations.NotNull B, B!>, test.I3<kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull B>!>!>!>!>!, test.I1<test.I1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!, test.I2<B!, kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!> {
         public/*package*/ constructor ImplementedInterfacesTypeArguments</*0*/ B : kotlin.Any!>()
 
-        public open inner class BaseClassTypeArguments1</*0*/ B : kotlin.Any!> /*captured type parameters: /*1*/ B : kotlin.Any!, /*2*/ B : kotlin.Any!*/ : test.A3<kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull B>!>!>!>!>!, test.I1<test.I1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!, test.A2<B!, kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!> {
+        public open inner class BaseClassTypeArguments1</*0*/ B : kotlin.Any!> /*captured type parameters: /*1*/ B : kotlin.Any!, /*2*/ B : kotlin.Any!*/ : test.A3<kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull B>!>!>!>!>!, test.I1<test.I1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!, test.A2<B!, kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!> {
             public constructor BaseClassTypeArguments1</*0*/ B : kotlin.Any!>()
         }
     }
diff --git a/compiler/testData/loadJava8/sourceJava/typeUseAnnotations/ClassTypeParameterBounds.txt b/compiler/testData/loadJava8/sourceJava/typeUseAnnotations/ClassTypeParameterBounds.txt
index 4e652aec866..6b453ea2e8a 100644
--- a/compiler/testData/loadJava8/sourceJava/typeUseAnnotations/ClassTypeParameterBounds.txt
+++ b/compiler/testData/loadJava8/sourceJava/typeUseAnnotations/ClassTypeParameterBounds.txt
@@ -6,13 +6,13 @@ public open class ClassTypeParameterBounds {
     public/*package*/ interface G1</*0*/ T : @org.jetbrains.annotations.NotNull kotlin.Any> {
     }
 
-    public/*package*/ interface G10</*0*/ _A : test.ClassTypeParameterBounds.I4<@org.jetbrains.annotations.NotNull kotlin.IntArray>!> where _A : test.ClassTypeParameterBounds.I2<out @org.jetbrains.annotations.Nullable kotlin.IntArray?>!, _A : @org.jetbrains.annotations.NotNull test.ClassTypeParameterBounds.I3<out @org.jetbrains.annotations.NotNull kotlin.IntArray> {
+    public/*package*/ interface G10</*0*/ _A : test.ClassTypeParameterBounds.I4<@org.jetbrains.annotations.NotNull kotlin.IntArray!>!> where _A : test.ClassTypeParameterBounds.I2<out @org.jetbrains.annotations.Nullable kotlin.IntArray!>!, _A : @org.jetbrains.annotations.NotNull test.ClassTypeParameterBounds.I3<out @org.jetbrains.annotations.NotNull kotlin.IntArray!> {
     }
 
     public/*package*/ interface G11</*0*/ _A : test.ClassTypeParameterBounds.I4<kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)>!>!>!> where _A : test.ClassTypeParameterBounds.I2<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!>)>!, _A : @org.jetbrains.annotations.NotNull test.ClassTypeParameterBounds.I3<out kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)>!> {
     }
 
-    public/*package*/ interface G12</*0*/ _A : test.ClassTypeParameterBounds.I4<(@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.IntArray!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.IntArray!>?)>!> where _A : test.ClassTypeParameterBounds.I2<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!, _A : @org.jetbrains.annotations.NotNull test.ClassTypeParameterBounds.I3<out kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!> {
+    public/*package*/ interface G12</*0*/ _A : test.ClassTypeParameterBounds.I4<(@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.IntArray!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.IntArray!>?)>!> where _A : test.ClassTypeParameterBounds.I2<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!, _A : @org.jetbrains.annotations.NotNull test.ClassTypeParameterBounds.I3<out kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!> {
     }
 
     public/*package*/ open inner class G2</*0*/ _A : kotlin.Any!, /*1*/ B : @org.jetbrains.annotations.Nullable kotlin.Int?> {
diff --git a/compiler/testData/loadJava8/sourceJava/typeUseAnnotations/MethodTypeParameterBounds.txt b/compiler/testData/loadJava8/sourceJava/typeUseAnnotations/MethodTypeParameterBounds.txt
index ea5e118aa44..c487715c9b1 100644
--- a/compiler/testData/loadJava8/sourceJava/typeUseAnnotations/MethodTypeParameterBounds.txt
+++ b/compiler/testData/loadJava8/sourceJava/typeUseAnnotations/MethodTypeParameterBounds.txt
@@ -5,9 +5,9 @@ public/*package*/ abstract class MethodTypeParameterBounds {
     public/*package*/ open fun </*0*/ T : @org.jetbrains.annotations.NotNull kotlin.Any> f1(/*0*/ x: T): kotlin.Unit
     public/*package*/ open fun </*0*/ _A : kotlin.Any!> f10(/*0*/ x: _A): kotlin.Unit where _A : test.MethodTypeParameterBounds.I2<in @org.jetbrains.annotations.Nullable kotlin.Int?>!, _A : @org.jetbrains.annotations.Nullable test.MethodTypeParameterBounds.I3<out kotlin.String!>?
     public/*package*/ open fun </*0*/ _A : test.MethodTypeParameterBounds.I4<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)>!> f11(/*0*/ x: _A): kotlin.Unit where _A : test.MethodTypeParameterBounds.I2<out (@org.jetbrains.annotations.Nullable kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.Int?>?..@org.jetbrains.annotations.Nullable kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.Int?>?)>!, _A : @org.jetbrains.annotations.Nullable test.MethodTypeParameterBounds.I3<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)>?
-    public/*package*/ open fun </*0*/ _A : test.MethodTypeParameterBounds.I4<@org.jetbrains.annotations.Nullable kotlin.IntArray?>!> f12(/*0*/ x: _A): kotlin.Unit where _A : test.MethodTypeParameterBounds.I2<out @org.jetbrains.annotations.Nullable kotlin.IntArray?>!, _A : @org.jetbrains.annotations.NotNull test.MethodTypeParameterBounds.I3<out @org.jetbrains.annotations.Nullable kotlin.IntArray?>
+    public/*package*/ open fun </*0*/ _A : test.MethodTypeParameterBounds.I4<@org.jetbrains.annotations.Nullable kotlin.IntArray!>!> f12(/*0*/ x: _A): kotlin.Unit where _A : test.MethodTypeParameterBounds.I2<out @org.jetbrains.annotations.Nullable kotlin.IntArray!>!, _A : @org.jetbrains.annotations.NotNull test.MethodTypeParameterBounds.I3<out @org.jetbrains.annotations.Nullable kotlin.IntArray!>
     public/*package*/ open fun </*0*/ _A : test.MethodTypeParameterBounds.I4<kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Int!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Int!>?)>!>!>!> f13(/*0*/ x: _A): kotlin.Unit where _A : test.MethodTypeParameterBounds.I2<out (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.Int?>!>!>!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.Int?>!>!>!>?)>!, _A : @org.jetbrains.annotations.Nullable test.MethodTypeParameterBounds.I3<out kotlin.Array<(out) (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Int!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Int!>?)>!>?
-    public/*package*/ abstract fun </*0*/ _A : test.MethodTypeParameterBounds.I4<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!> f14(/*0*/ x: _A): kotlin.Unit where _A : test.MethodTypeParameterBounds.I2<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray?>!>!>!, _A : @org.jetbrains.annotations.Nullable test.MethodTypeParameterBounds.I3<out kotlin.Array<(out) (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.IntArray!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.IntArray!>?)>!>?
+    public/*package*/ abstract fun </*0*/ _A : test.MethodTypeParameterBounds.I4<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!> f14(/*0*/ x: _A): kotlin.Unit where _A : test.MethodTypeParameterBounds.I2<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray!>!>!>!, _A : @org.jetbrains.annotations.Nullable test.MethodTypeParameterBounds.I3<out kotlin.Array<(out) (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.IntArray!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.IntArray!>?)>!>?
     public/*package*/ open fun </*0*/ _A : kotlin.Any!, /*1*/ B : test.MethodTypeParameterBounds.I3<@org.jetbrains.annotations.Nullable _A?>!> f15(/*0*/ x: _A!): kotlin.Unit where B : @org.jetbrains.annotations.NotNull test.MethodTypeParameterBounds.I2<_A!>
     public/*package*/ open fun </*0*/ _A : kotlin.Any!, /*1*/ B : @org.jetbrains.annotations.NotNull kotlin.Int> f2(/*0*/ x: _A!, /*1*/ y: B): kotlin.Unit
     public/*package*/ open fun </*0*/ _A : kotlin.Any!, /*1*/ B : kotlin.Any!> f3(/*0*/ x: _A!, /*1*/ y: B): kotlin.Unit where B : @org.jetbrains.annotations.Nullable test.MethodTypeParameterBounds.I1?
diff --git a/compiler/testData/loadJava8/sourceJava/typeUseAnnotations/ReturnType.txt b/compiler/testData/loadJava8/sourceJava/typeUseAnnotations/ReturnType.txt
index 3127994d1a8..dbfb19c32bf 100644
--- a/compiler/testData/loadJava8/sourceJava/typeUseAnnotations/ReturnType.txt
+++ b/compiler/testData/loadJava8/sourceJava/typeUseAnnotations/ReturnType.txt
@@ -5,41 +5,41 @@ public/*package*/ interface ReturnType {
     public abstract fun f1(): test.G1<test.G1<test.G1<test.G1<@org.jetbrains.annotations.NotNull test.G0>!>!>!>!
     public abstract fun f11(): test.G2<in @org.jetbrains.annotations.NotNull kotlin.String, test.G2<in @org.jetbrains.annotations.NotNull kotlin.Int, test.G2<in @org.jetbrains.annotations.NotNull test.G2<kotlin.Int!, in @org.jetbrains.annotations.NotNull kotlin.Int>, in @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!
     public abstract fun f13(): (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)
-    public abstract fun f14(): @org.jetbrains.annotations.NotNull kotlin.IntArray
+    public abstract fun f14(): @org.jetbrains.annotations.NotNull kotlin.IntArray!
     @org.jetbrains.annotations.NotNull public abstract fun f15(): kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!
     @org.jetbrains.annotations.NotNull public abstract fun f16(): kotlin.IntArray!
     @org.jetbrains.annotations.NotNull public abstract fun f17(): (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)
     public abstract fun f19(): (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Int!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Int!>!>)
     public abstract fun f2(): test.G1<@org.jetbrains.annotations.NotNull kotlin.String>!
-    public abstract fun f20(): (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray>)
-    @org.jetbrains.annotations.NotNull public abstract fun f22(): (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>)>)
+    public abstract fun f20(): (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>)
+    @org.jetbrains.annotations.NotNull public abstract fun f22(): (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>)>)
     @org.jetbrains.annotations.NotNull public abstract fun f23(): (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>)>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>)>!>)
-    public abstract fun f25(): kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!
+    public abstract fun f25(): kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!
     public abstract fun f26(): kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Any!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Any!>)>!
     @org.jetbrains.annotations.NotNull public abstract fun f27(): kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Any>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Any>)>!>!>!>!
     public abstract fun f28(): test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)>!
-    public abstract fun f29(): test.G2<kotlin.Int!, @org.jetbrains.annotations.NotNull kotlin.IntArray>!
+    public abstract fun f29(): test.G2<kotlin.Int!, @org.jetbrains.annotations.NotNull kotlin.IntArray!>!
     public abstract fun f3(): test.G2<@org.jetbrains.annotations.NotNull kotlin.String, test.G2<@org.jetbrains.annotations.NotNull kotlin.Int, test.G2<@org.jetbrains.annotations.NotNull test.G2<kotlin.Int!, @org.jetbrains.annotations.NotNull kotlin.Int>, @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!
     public abstract fun f30(): test.G1<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!
     public abstract fun f31(): test.G1<test.G1<kotlin.IntArray!>!>!
-    public abstract fun f32(): test.G1<test.G2<test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<@org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!
-    public abstract fun f33(): test.G1<@org.jetbrains.annotations.NotNull kotlin.IntArray>!
+    public abstract fun f32(): test.G1<test.G2<test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<@org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!
+    public abstract fun f33(): test.G1<@org.jetbrains.annotations.NotNull kotlin.IntArray!>!
     public abstract fun f34(): test.G1<kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)>!>!
     public abstract fun f36(): test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>)>!
     public abstract fun f37(): test.G1<test.G1<kotlin.Array<(out) kotlin.Array<(out) kotlin.IntArray!>!>!>!>!
-    public abstract fun f38(): test.G1<test.G2<test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!>!>!
+    public abstract fun f38(): test.G1<test.G2<test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!>!>!
     public abstract fun f39(): test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>)>!
     public abstract fun f40(): test.G1<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)>!
-    public abstract fun f41(): test.G2<out kotlin.Int!, in @org.jetbrains.annotations.NotNull kotlin.IntArray>!
+    public abstract fun f41(): test.G2<out kotlin.Int!, in @org.jetbrains.annotations.NotNull kotlin.IntArray!>!
     public abstract fun f42(): test.G1<in kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!
     public abstract fun f43(): test.G1<in test.G1<in kotlin.IntArray!>!>!
-    public abstract fun f44(): test.G1<out test.G2<test.G1<in (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<out @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!
-    public abstract fun f46(): test.G1<in @org.jetbrains.annotations.NotNull kotlin.IntArray>!
+    public abstract fun f44(): test.G1<out test.G2<test.G1<in (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!
+    public abstract fun f46(): test.G1<in @org.jetbrains.annotations.NotNull kotlin.IntArray!>!
     public abstract fun f47(): test.G1<out kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)>!>!
     public abstract fun f49(): test.G1<in kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!>!>!>!
     public abstract fun f5(): test.G1<test.G1<test.G1<test.G1<out @org.jetbrains.annotations.NotNull test.G0>!>!>!>!
     public abstract fun f50(): test.G1<in test.G1<in (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!
-    public abstract fun f51(): test.G1<out test.G2<test.G1<in kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!>!>!, test.G1<out (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray>)>)>!>!>!
+    public abstract fun f51(): test.G1<out test.G2<test.G1<in kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!>!>!, test.G1<out (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>)>)>!>!>!
     public abstract fun f53(): test.G1<in (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!
     public abstract fun f6(): test.G1<out @org.jetbrains.annotations.NotNull kotlin.String>!
     public abstract fun f7(): test.G2<out @org.jetbrains.annotations.NotNull kotlin.String, test.G2<out @org.jetbrains.annotations.NotNull kotlin.Int, test.G2<out @org.jetbrains.annotations.NotNull test.G2<kotlin.Int!, out @org.jetbrains.annotations.NotNull kotlin.Int>, out @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!
@@ -54,25 +54,25 @@ public/*package*/ interface ReturnType {
         @org.jetbrains.annotations.NotNull public/*package*/ final var f182: (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)
         public/*package*/ final var f183: test.G1<@org.jetbrains.annotations.NotNull kotlin.Int>!
         @org.jetbrains.annotations.NotNull public/*package*/ final var f21: kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!
-        @org.jetbrains.annotations.NotNull public/*package*/ final var f24: (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray>)
+        @org.jetbrains.annotations.NotNull public/*package*/ final var f24: (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>)
         public/*package*/ final var f35: test.G2<kotlin.Int!, (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!
         public/*package*/ final var f4: test.G1<out @org.jetbrains.annotations.NotNull test.G0>!
-        public/*package*/ final var f45: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<out @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!
-        public/*package*/ final var f48: test.G2<out kotlin.Int!, in kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!
-        public/*package*/ final var f52: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>)>!, test.G1<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!>!
+        public/*package*/ final var f45: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!
+        public/*package*/ final var f48: test.G2<out kotlin.Int!, in kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!
+        public/*package*/ final var f52: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>)>!, test.G1<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!>!
     }
 
     // Static members
     public final val f10: test.G1<in @org.jetbrains.annotations.NotNull kotlin.String>!
     public final val f12: test.G2<in @org.jetbrains.annotations.NotNull kotlin.String, test.G2<out @org.jetbrains.annotations.NotNull kotlin.Int, test.G2<out @org.jetbrains.annotations.NotNull test.G2<kotlin.Int!, in @org.jetbrains.annotations.NotNull kotlin.Int>, out @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!
     @org.jetbrains.annotations.NotNull public final val f161: kotlin.IntArray!
-    @org.jetbrains.annotations.NotNull public final val f18: @org.jetbrains.annotations.NotNull kotlin.IntArray
+    @org.jetbrains.annotations.NotNull public final val f18: @org.jetbrains.annotations.NotNull kotlin.IntArray!
     @org.jetbrains.annotations.NotNull public final val f21: kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!
-    @org.jetbrains.annotations.NotNull public final val f24: (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray>)
+    @org.jetbrains.annotations.NotNull public final val f24: (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>)
     @org.jetbrains.annotations.NotNull public final val f271: kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Any>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Any>)>!>!>!>!
     public final val f35: test.G2<kotlin.Int!, (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!
     public final val f4: test.G1<out @org.jetbrains.annotations.NotNull test.G0>!
-    public final val f45: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<out @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!
-    public final val f48: test.G2<out kotlin.Int!, in kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!
-    public final val f52: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>)>!, test.G1<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!>!
+    public final val f45: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!
+    public final val f48: test.G2<out kotlin.Int!, in kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!
+    public final val f52: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>)>!, test.G1<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!>!
 }
diff --git a/compiler/testData/loadJava8/sourceJava/typeUseAnnotations/ValueArguments.txt b/compiler/testData/loadJava8/sourceJava/typeUseAnnotations/ValueArguments.txt
index 246fa6419a5..4c52542bfef 100644
--- a/compiler/testData/loadJava8/sourceJava/typeUseAnnotations/ValueArguments.txt
+++ b/compiler/testData/loadJava8/sourceJava/typeUseAnnotations/ValueArguments.txt
@@ -7,56 +7,56 @@ public/*package*/ interface ValueArguments {
     public abstract fun f11(/*0*/ p: test.G2<in @org.jetbrains.annotations.Nullable kotlin.String?, test.G2<in @org.jetbrains.annotations.Nullable kotlin.Int?, test.G2<in @org.jetbrains.annotations.Nullable test.G2<kotlin.Int!, in @org.jetbrains.annotations.NotNull kotlin.Int>?, in @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!): kotlin.Unit
     public abstract fun f12(/*0*/ p: test.G2<in @org.jetbrains.annotations.NotNull kotlin.String, test.G2<out @org.jetbrains.annotations.NotNull kotlin.Int, test.G2<out @org.jetbrains.annotations.NotNull test.G2<kotlin.Int!, in @org.jetbrains.annotations.NotNull kotlin.Int>, out @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!): kotlin.Unit
     public abstract fun f13(/*0*/ p: (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)): kotlin.Unit
-    public abstract fun f14(/*0*/ p: @org.jetbrains.annotations.NotNull kotlin.IntArray): kotlin.Unit
+    public abstract fun f14(/*0*/ p: @org.jetbrains.annotations.NotNull kotlin.IntArray!): kotlin.Unit
     public abstract fun f15(/*0*/ @org.jetbrains.annotations.NotNull p: kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!): kotlin.Unit
     public abstract fun f16(/*0*/ @org.jetbrains.annotations.Nullable p: kotlin.IntArray!): kotlin.Unit
     public abstract fun f17(/*0*/ @org.jetbrains.annotations.Nullable p: (@org.jetbrains.annotations.Nullable kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.Int?>?..@org.jetbrains.annotations.Nullable kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.Int?>?)): kotlin.Unit
-    public abstract fun f18(/*0*/ @org.jetbrains.annotations.Nullable p1: @org.jetbrains.annotations.Nullable kotlin.IntArray?, /*1*/ p2: (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Int!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Int!>?), /*2*/ @org.jetbrains.annotations.Nullable p3: kotlin.IntArray!): kotlin.Unit
+    public abstract fun f18(/*0*/ @org.jetbrains.annotations.Nullable p1: @org.jetbrains.annotations.Nullable kotlin.IntArray!, /*1*/ p2: (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Int!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Int!>?), /*2*/ @org.jetbrains.annotations.Nullable p3: kotlin.IntArray!): kotlin.Unit
     public abstract fun f19(/*0*/ p: (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Int!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Int!>!>)): kotlin.Unit
     public abstract fun f2(/*0*/ p: test.G1<@org.jetbrains.annotations.NotNull kotlin.String>!): kotlin.Unit
-    public abstract fun f20(/*0*/ p: (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray>)): kotlin.Unit
+    public abstract fun f20(/*0*/ p: (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>)): kotlin.Unit
     public abstract fun f21(/*0*/ @org.jetbrains.annotations.NotNull p: kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!): kotlin.Unit
-    public abstract fun f22(/*0*/ @org.jetbrains.annotations.NotNull p: (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>)>)): kotlin.Unit
+    public abstract fun f22(/*0*/ @org.jetbrains.annotations.NotNull p: (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>)>)): kotlin.Unit
     public abstract fun f23(/*0*/ @org.jetbrains.annotations.NotNull p: (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>)>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>)>!>)): kotlin.Unit
-    public abstract fun f24(/*0*/ @org.jetbrains.annotations.NotNull p: (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray>)): kotlin.Unit
-    public abstract fun f25(/*0*/ p: kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray?>!): kotlin.Unit
-    public abstract fun f26(/*0*/ p1: kotlin.Array<(out) (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Any!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Any!>?)>!, /*1*/ p2: kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray?>!, /*2*/ @org.jetbrains.annotations.Nullable p3: (@org.jetbrains.annotations.Nullable kotlin.Array<(@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray?>!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray?>!>?)>?..@org.jetbrains.annotations.Nullable kotlin.Array<out (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray?>!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray?>!>?)>?)): kotlin.Unit
+    public abstract fun f24(/*0*/ @org.jetbrains.annotations.NotNull p: (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>)): kotlin.Unit
+    public abstract fun f25(/*0*/ p: kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray!>!): kotlin.Unit
+    public abstract fun f26(/*0*/ p1: kotlin.Array<(out) (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Any!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Any!>?)>!, /*1*/ p2: kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray!>!, /*2*/ @org.jetbrains.annotations.Nullable p3: (@org.jetbrains.annotations.Nullable kotlin.Array<(@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray!>!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray!>!>?)>?..@org.jetbrains.annotations.Nullable kotlin.Array<out (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray!>!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.IntArray!>!>?)>?)): kotlin.Unit
     public abstract fun f27(/*0*/ @org.jetbrains.annotations.Nullable p: kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.Nullable kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.Any?>?..@org.jetbrains.annotations.Nullable kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.Any?>?)>!>!>!>!): kotlin.Unit
     public abstract fun f28(/*0*/ p: test.G1<(@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Int!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Int!>?)>!): kotlin.Unit
-    public abstract fun f29(/*0*/ p: test.G2<kotlin.Int!, @org.jetbrains.annotations.Nullable kotlin.IntArray?>!): kotlin.Unit
+    public abstract fun f29(/*0*/ p: test.G2<kotlin.Int!, @org.jetbrains.annotations.Nullable kotlin.IntArray!>!): kotlin.Unit
     public abstract fun f3(/*0*/ p: test.G2<@org.jetbrains.annotations.NotNull kotlin.String, test.G2<@org.jetbrains.annotations.NotNull kotlin.Int, test.G2<@org.jetbrains.annotations.NotNull test.G2<kotlin.Int!, @org.jetbrains.annotations.NotNull kotlin.Int>, @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!): kotlin.Unit
     public abstract fun f30(/*0*/ p: test.G1<kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.Int?>!>!): kotlin.Unit
     public abstract fun f31(/*0*/ p: test.G1<test.G1<kotlin.IntArray!>!>!): kotlin.Unit
-    public abstract fun f32(/*0*/ p: test.G1<test.G2<test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<@org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!): kotlin.Unit
-    public abstract fun f33(/*0*/ p: test.G1<@org.jetbrains.annotations.NotNull kotlin.IntArray>!): kotlin.Unit
+    public abstract fun f32(/*0*/ p: test.G1<test.G2<test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<@org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!): kotlin.Unit
+    public abstract fun f33(/*0*/ p: test.G1<@org.jetbrains.annotations.NotNull kotlin.IntArray!>!): kotlin.Unit
     public abstract fun f34(/*0*/ p: test.G1<kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)>!>!): kotlin.Unit
     public abstract fun f35(/*0*/ p1: test.G2<kotlin.Int!, (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!, /*1*/ p2: test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>)>!, /*2*/ p3: test.G1<test.G1<kotlin.IntArray!>!>!): kotlin.Unit
     public abstract fun f36(/*0*/ p: test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>)>!): kotlin.Unit
     public abstract fun f37(/*0*/ p: test.G1<test.G1<kotlin.Array<(out) kotlin.Array<(out) kotlin.IntArray!>!>!>!>!): kotlin.Unit
-    public abstract fun f38(/*0*/ p: test.G1<test.G2<test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!>!>!): kotlin.Unit
+    public abstract fun f38(/*0*/ p: test.G1<test.G2<test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!, test.G1<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!>!>!): kotlin.Unit
     public abstract fun f39(/*0*/ p: test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>)>!): kotlin.Unit
     public abstract fun f4(/*0*/ p: test.G1<out @org.jetbrains.annotations.NotNull test.G0>!): kotlin.Unit
     public abstract fun f40(/*0*/ p: test.G1<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)>!): kotlin.Unit
-    public abstract fun f41(/*0*/ p: test.G2<out kotlin.Int!, in @org.jetbrains.annotations.NotNull kotlin.IntArray>!): kotlin.Unit
+    public abstract fun f41(/*0*/ p: test.G2<out kotlin.Int!, in @org.jetbrains.annotations.NotNull kotlin.IntArray!>!): kotlin.Unit
     public abstract fun f42(/*0*/ p: test.G1<in kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.Int?>!>!): kotlin.Unit
     public abstract fun f43(/*0*/ p: test.G1<in test.G1<in kotlin.IntArray!>!>!): kotlin.Unit
-    public abstract fun f44(/*0*/ p: test.G1<out test.G2<test.G1<in (@org.jetbrains.annotations.Nullable kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.Int?>?..@org.jetbrains.annotations.Nullable kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.Int?>?)>!, test.G1<out @org.jetbrains.annotations.Nullable kotlin.IntArray?>!>!>!): kotlin.Unit
-    public abstract fun f45(/*0*/ p: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.Nullable kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.Int?>?..@org.jetbrains.annotations.Nullable kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.Int?>?)>!, test.G1<out @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!): kotlin.Unit
-    public abstract fun f46(/*0*/ p: test.G1<in @org.jetbrains.annotations.NotNull kotlin.IntArray>!): kotlin.Unit
+    public abstract fun f44(/*0*/ p: test.G1<out test.G2<test.G1<in (@org.jetbrains.annotations.Nullable kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.Int?>?..@org.jetbrains.annotations.Nullable kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.Int?>?)>!, test.G1<out @org.jetbrains.annotations.Nullable kotlin.IntArray!>!>!>!): kotlin.Unit
+    public abstract fun f45(/*0*/ p: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.Nullable kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.Int?>?..@org.jetbrains.annotations.Nullable kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.Int?>?)>!, test.G1<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!): kotlin.Unit
+    public abstract fun f46(/*0*/ p: test.G1<in @org.jetbrains.annotations.NotNull kotlin.IntArray!>!): kotlin.Unit
     public abstract fun f47(/*0*/ p: test.G1<out kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Int!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Int!>)>!>!): kotlin.Unit
-    public abstract fun f48(/*0*/ p: test.G2<out kotlin.Int!, in kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!): kotlin.Unit
-    public abstract fun f49(/*0*/ p1: test.G1<in kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!>!>!>!, /*1*/ p2: test.G1<in test.G1<in (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!, /*2*/ p3: test.G2<out kotlin.Int!, in kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!): kotlin.Unit
+    public abstract fun f48(/*0*/ p: test.G2<out kotlin.Int!, in kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!): kotlin.Unit
+    public abstract fun f49(/*0*/ p1: test.G1<in kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!>!>!>!, /*1*/ p2: test.G1<in test.G1<in (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!, /*2*/ p3: test.G2<out kotlin.Int!, in kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!): kotlin.Unit
     public abstract fun f5(/*0*/ p: test.G1<test.G1<test.G1<test.G1<out @org.jetbrains.annotations.NotNull test.G0>!>!>!>!): kotlin.Unit
     public abstract fun f50(/*0*/ p: test.G1<in test.G1<in (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!): kotlin.Unit
-    public abstract fun f51(/*0*/ p: test.G1<out test.G2<test.G1<in kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!>!>!, test.G1<out (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray>)>)>!>!>!): kotlin.Unit
-    public abstract fun f52(/*0*/ p: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>)>!, test.G1<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!>!): kotlin.Unit
+    public abstract fun f51(/*0*/ p: test.G1<out test.G2<test.G1<in kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Int>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Int>)>!>!>!, test.G1<out (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>)>)>!>!>!): kotlin.Unit
+    public abstract fun f52(/*0*/ p: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>)>!, test.G1<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!>!): kotlin.Unit
     public abstract fun f53(/*0*/ p: test.G1<in (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!): kotlin.Unit
-    public abstract fun f54(/*0*/ p1: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>)>!, test.G1<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!>!, /*1*/ p2: test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>)>!, /*2*/ @org.jetbrains.annotations.NotNull p3: kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Any>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Any>)>!>!>!>!, /*3*/ @org.jetbrains.annotations.NotNull p4: @org.jetbrains.annotations.NotNull kotlin.IntArray, /*4*/ p5: test.G2<in @org.jetbrains.annotations.NotNull kotlin.String, test.G2<out @org.jetbrains.annotations.NotNull kotlin.Int, test.G2<out @org.jetbrains.annotations.NotNull test.G2<kotlin.Int!, in @org.jetbrains.annotations.NotNull kotlin.Int>, out @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!): kotlin.Unit
+    public abstract fun f54(/*0*/ p1: test.G1<out test.G2<in test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.Int>!>!>)>!, test.G1<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!>!, /*1*/ p2: test.G1<(@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>)>!, /*2*/ @org.jetbrains.annotations.NotNull p3: kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.Any>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.Any>)>!>!>!>!, /*3*/ @org.jetbrains.annotations.NotNull p4: @org.jetbrains.annotations.NotNull kotlin.IntArray!, /*4*/ p5: test.G2<in @org.jetbrains.annotations.NotNull kotlin.String, test.G2<out @org.jetbrains.annotations.NotNull kotlin.Int, test.G2<out @org.jetbrains.annotations.NotNull test.G2<kotlin.Int!, in @org.jetbrains.annotations.NotNull kotlin.Int>, out @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!): kotlin.Unit
     public abstract fun f55(/*0*/ @org.jetbrains.annotations.NotNull vararg x: @org.jetbrains.annotations.NotNull kotlin.String /*kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.String>!*/): kotlin.Unit
     public abstract fun f56(/*0*/ vararg x: kotlin.String! /*(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.String!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.String!>)*/): kotlin.Unit
     public abstract fun f57(/*0*/ @org.jetbrains.annotations.NotNull vararg x: @org.jetbrains.annotations.NotNull kotlin.String /*(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.String>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.String>)*/): kotlin.Unit
     public abstract fun f58(/*0*/ @org.jetbrains.annotations.NotNull vararg x: kotlin.Int /*kotlin.IntArray!*/): kotlin.Unit
-    public abstract fun f59(/*0*/ vararg x: kotlin.Int /*@org.jetbrains.annotations.NotNull kotlin.IntArray*/): kotlin.Unit
+    public abstract fun f59(/*0*/ vararg x: kotlin.Int /*@org.jetbrains.annotations.NotNull kotlin.IntArray!*/): kotlin.Unit
     public abstract fun f6(/*0*/ p1: test.G1<out @org.jetbrains.annotations.NotNull kotlin.String>!, /*1*/ p2: test.G1<test.G1<test.G1<test.G1<out @org.jetbrains.annotations.NotNull test.G0>!>!>!>!): kotlin.Unit
     public abstract fun f60(/*0*/ @org.jetbrains.annotations.NotNull vararg x: kotlin.Int /*@org.jetbrains.annotations.Nullable kotlin.IntArray!*/): kotlin.Unit
     public abstract fun f61(/*0*/ @org.jetbrains.annotations.Nullable vararg x: kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.String?>! /*kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.Nullable kotlin.String?>!>!*/): kotlin.Unit
@@ -65,8 +65,8 @@ public/*package*/ interface ValueArguments {
     public abstract fun f64(/*0*/ @org.jetbrains.annotations.NotNull vararg x: (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.String>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.String>) /*(@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.String>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.String>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.String>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.String>)>)*/): kotlin.Unit
     public abstract fun f65(/*0*/ @org.jetbrains.annotations.NotNull vararg x: kotlin.IntArray! /*kotlin.Array<(out) kotlin.IntArray!>!*/): kotlin.Unit
     public abstract fun f66(/*0*/ vararg x: kotlin.IntArray! /*(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)*/): kotlin.Unit
-    public abstract fun f67(/*0*/ vararg x: @org.jetbrains.annotations.NotNull kotlin.IntArray /*kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!*/): kotlin.Unit
-    public abstract fun f68(/*0*/ @org.jetbrains.annotations.NotNull vararg x: @org.jetbrains.annotations.NotNull kotlin.IntArray /*(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray>)*/): kotlin.Unit
+    public abstract fun f67(/*0*/ vararg x: @org.jetbrains.annotations.NotNull kotlin.IntArray! /*kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!*/): kotlin.Unit
+    public abstract fun f68(/*0*/ @org.jetbrains.annotations.NotNull vararg x: @org.jetbrains.annotations.NotNull kotlin.IntArray! /*(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.NotNull kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.NotNull kotlin.IntArray!>)*/): kotlin.Unit
     public abstract fun f69(/*0*/ @org.jetbrains.annotations.NotNull vararg x: kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.String>!>! /*kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.String>!>!>!*/): kotlin.Unit
     public abstract fun f7(/*0*/ p: test.G2<out @org.jetbrains.annotations.NotNull kotlin.String, test.G2<out @org.jetbrains.annotations.NotNull kotlin.Int, test.G2<out @org.jetbrains.annotations.NotNull test.G2<kotlin.Int!, out @org.jetbrains.annotations.NotNull kotlin.Int>, out @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!): kotlin.Unit
     public abstract fun f70(/*0*/ vararg x: (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Array<(out) kotlin.String!>!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Array<(out) kotlin.String!>!>?) /*kotlin.Array<(out) (@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Array<(out) kotlin.String!>!>?..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Array<(out) kotlin.String!>!>?)>!*/): kotlin.Unit
@@ -74,12 +74,12 @@ public/*package*/ interface ValueArguments {
     public abstract fun f72(/*0*/ @org.jetbrains.annotations.Nullable vararg x: kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.String?>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.String?>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.String?>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.String?>)>)>! /*(@org.jetbrains.annotations.Nullable kotlin.Array<kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.String?>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.String?>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.String?>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.String?>)>)>!>..@org.jetbrains.annotations.Nullable kotlin.Array<out kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.String?>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.String?>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<@org.jetbrains.annotations.Nullable kotlin.String?>..@org.jetbrains.annotations.NotNull kotlin.Array<out @org.jetbrains.annotations.Nullable kotlin.String?>)>)>!>?)*/): kotlin.Unit
     public abstract fun f73(/*0*/ @org.jetbrains.annotations.NotNull vararg x: (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>) /*kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!*/): kotlin.Unit
     public abstract fun f74(/*0*/ vararg x: kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>! /*(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.IntArray!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.IntArray!>)>!>!>)*/): kotlin.Unit
-    public abstract fun f75(/*0*/ vararg x: kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>! /*kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>!>!*/): kotlin.Unit
-    public abstract fun f76(/*0*/ @org.jetbrains.annotations.NotNull vararg x: kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>! /*(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>)*/): kotlin.Unit
+    public abstract fun f75(/*0*/ vararg x: kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>! /*kotlin.Array<(out) kotlin.Array<(out) kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>!>!*/): kotlin.Unit
+    public abstract fun f76(/*0*/ @org.jetbrains.annotations.NotNull vararg x: kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>! /*(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>)*/): kotlin.Unit
     public abstract fun f8(/*0*/ p: test.G1<in @org.jetbrains.annotations.Nullable test.G0?>!): kotlin.Unit
     public abstract fun f9(/*0*/ p: test.G1<test.G1<test.G1<test.G1<in @org.jetbrains.annotations.Nullable test.G0?>!>!>!>!): kotlin.Unit
 
     public open class Test {
-        public constructor Test(/*0*/ p1: test.G2<in @org.jetbrains.annotations.NotNull kotlin.String, test.G2<out @org.jetbrains.annotations.Nullable kotlin.Int?, test.G2<out @org.jetbrains.annotations.Nullable test.G2<kotlin.Int!, in @org.jetbrains.annotations.Nullable kotlin.Int?>?, out @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!, /*1*/ p2: kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Any!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Any!>)>!, /*2*/ p3: kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!, /*3*/ @org.jetbrains.annotations.NotNull p4: (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>)>), /*4*/ @org.jetbrains.annotations.NotNull vararg p5: kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>! /*(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray>!>)*/)
+        public constructor Test(/*0*/ p1: test.G2<in @org.jetbrains.annotations.NotNull kotlin.String, test.G2<out @org.jetbrains.annotations.Nullable kotlin.Int?, test.G2<out @org.jetbrains.annotations.Nullable test.G2<kotlin.Int!, in @org.jetbrains.annotations.Nullable kotlin.Int?>?, out @org.jetbrains.annotations.NotNull kotlin.Int>!>!>!, /*1*/ p2: kotlin.Array<(out) (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Any!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Any!>)>!, /*2*/ p3: kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!, /*3*/ @org.jetbrains.annotations.NotNull p4: (@org.jetbrains.annotations.NotNull kotlin.Array<(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>)>..@org.jetbrains.annotations.NotNull kotlin.Array<out (@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>)>), /*4*/ @org.jetbrains.annotations.NotNull vararg p5: kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>! /*(@org.jetbrains.annotations.NotNull kotlin.Array<kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>..@org.jetbrains.annotations.NotNull kotlin.Array<out kotlin.Array<(out) @org.jetbrains.annotations.NotNull kotlin.IntArray!>!>)*/)
     }
 }
diff --git a/compiler/util/src/org/jetbrains/kotlin/config/LanguageVersionSettings.kt b/compiler/util/src/org/jetbrains/kotlin/config/LanguageVersionSettings.kt
index 9914ceaf36e..0c59ccb7a18 100644
--- a/compiler/util/src/org/jetbrains/kotlin/config/LanguageVersionSettings.kt
+++ b/compiler/util/src/org/jetbrains/kotlin/config/LanguageVersionSettings.kt
@@ -275,7 +275,6 @@ enum class LanguageFeature(
     ForbidSuperDelegationToAbstractFakeOverride(KOTLIN_1_9, kind = BUG_FIX), // KT-49017
     DataObjects(KOTLIN_1_9), // KT-4107
     ProhibitAccessToEnumCompanionMembersInEnumConstructorCall(KOTLIN_1_9, kind = BUG_FIX), // KT-49110
-    EnhanceNullabilityOfPrimitiveArrays(KOTLIN_1_9, kind = BUG_FIX), // KT-54521
     RefineTypeCheckingOnAssignmentsToJavaFields(KOTLIN_1_9, kind = BUG_FIX), // KT-46727
     ReferencesToSyntheticJavaProperties(KOTLIN_1_9), // KT-8575
     ValueClassesSecondaryConstructorWithBody(sinceVersion = KOTLIN_1_9, kind = UNSTABLE_FEATURE), // KT-55333
@@ -285,6 +284,8 @@ enum class LanguageFeature(
 
     // 2.0
 
+    EnhanceNullabilityOfPrimitiveArrays(KOTLIN_2_0, kind = BUG_FIX), // KT-54521
+
     // End of 2.* language features --------------------------------------------------
 
     // This feature effectively might be removed because we decided to disable it until K2 and there it will be unconditionally enabled.