diff --git a/compiler/testData/asJava/lightClasses/lightClassByPsi/jvmWildcardAnnotations.fir.java b/compiler/testData/asJava/lightClasses/lightClassByPsi/jvmWildcardAnnotations.fir.java
index 9268ec72dbc..147441a80df 100644
--- a/compiler/testData/asJava/lightClasses/lightClassByPsi/jvmWildcardAnnotations.fir.java
+++ b/compiler/testData/asJava/lightClasses/lightClassByPsi/jvmWildcardAnnotations.fir.java
@@ -24,6 +24,9 @@ public final class Container /* Container*/ {
   @kotlin.jvm.JvmSuppressWildcards(suppress = true)
   public final void deepOpen(@org.jetbrains.annotations.NotNull() Out<? extends Out<? extends Out<? extends Open>>>);//  deepOpen(Out<? extends Out<? extends Out<? extends Open>>>)
 
+  @kotlin.jvm.JvmSuppressWildcards(suppress = true)
+  public final void zoo(@org.jetbrains.annotations.NotNull() Out<? extends Out<? extends Out<? extends Open>>>, @org.jetbrains.annotations.NotNull() Out<? extends Open>);//  zoo(Out<? extends Out<? extends Out<? extends Open>>>, Out<? extends Open>)
+
   @org.jetbrains.annotations.NotNull()
   public final OutPair<Final, OutPair<Out<Final>, Out<Final>>> falseTrueFalse();//  falseTrueFalse()
 
@@ -37,10 +40,52 @@ public final class Container /* Container*/ {
   public final void simpleOut(@org.jetbrains.annotations.NotNull() Out<? extends Final>);//  simpleOut(Out<? extends Final>)
 }
 
+public final class ContainerForPropertyAndAccessors /* ContainerForPropertyAndAccessors*/ {
+  @org.jetbrains.annotations.NotNull()
+  private Out<? extends Open> bar;
+
+  @org.jetbrains.annotations.NotNull()
+  private final In<? super java.lang.Object> simpleIn;
+
+  @org.jetbrains.annotations.NotNull()
+  private final Out<? extends Final> simpleOut;
+
+  @org.jetbrains.annotations.NotNull()
+  private final Out<Out<Out<Open>>> deepOpen;
+
+  @org.jetbrains.annotations.NotNull()
+  public final In<? super java.lang.Object> getSimpleIn();//  getSimpleIn()
+
+  @org.jetbrains.annotations.NotNull()
+  public final Out<? extends Final> getSimpleOut();//  getSimpleOut()
+
+  @org.jetbrains.annotations.NotNull()
+  public final Out<? extends Open> getZoo(@org.jetbrains.annotations.NotNull() Out<? extends Out<? extends Out<? extends Open>>>);//  getZoo(Out<? extends Out<? extends Out<? extends Open>>>)
+
+  @org.jetbrains.annotations.NotNull()
+  public final Out<Open> getBar();//  getBar()
+
+  @org.jetbrains.annotations.NotNull()
+  public final Out<Out<Out<Open>>> getDeepOpen();//  getDeepOpen()
+
+  public  ContainerForPropertyAndAccessors();//  .ctor()
+
+  public final void setBar(@org.jetbrains.annotations.NotNull() Out<? extends Open>);//  setBar(Out<? extends Open>)
+}
+
 public final class Final /* Final*/ {
   public  Final();//  .ctor()
 }
 
+@kotlin.jvm.JvmSuppressWildcards(suppress = true)
+public final class HasAnnotation /* HasAnnotation*/ {
+  public  HasAnnotation();//  .ctor()
+
+  public final void doesNot(@org.jetbrains.annotations.NotNull() Out<? extends Out<? extends Open>>);//  doesNot(Out<? extends Out<? extends Open>>)
+
+  public final void parameterDisagrees(@org.jetbrains.annotations.NotNull() Out<java.lang.Integer>);//  parameterDisagrees(Out<java.lang.Integer>)
+}
+
 public final class In /* In*/<Z>  {
   public  In();//  .ctor()
 }
diff --git a/compiler/testData/asJava/lightClasses/lightClassByPsi/jvmWildcardAnnotations.java b/compiler/testData/asJava/lightClasses/lightClassByPsi/jvmWildcardAnnotations.java
index a9233ea5d83..3fcd79a2482 100644
--- a/compiler/testData/asJava/lightClasses/lightClassByPsi/jvmWildcardAnnotations.java
+++ b/compiler/testData/asJava/lightClasses/lightClassByPsi/jvmWildcardAnnotations.java
@@ -24,6 +24,9 @@ public final class Container /* Container*/ {
   @kotlin.jvm.JvmSuppressWildcards(suppress = true)
   public final void deepOpen(@org.jetbrains.annotations.NotNull() Out<Out<Out<Open>>>);//  deepOpen(Out<Out<Out<Open>>>)
 
+  @kotlin.jvm.JvmSuppressWildcards(suppress = true)
+  public final void zoo(@org.jetbrains.annotations.NotNull() Out<Out<Out<Open>>>, @org.jetbrains.annotations.NotNull() Out<? extends Open>);//  zoo(Out<Out<Out<Open>>>, Out<? extends Open>)
+
   @org.jetbrains.annotations.NotNull()
   public final OutPair<? extends Final, OutPair<Out<Final>, Out<? extends Final>>> falseTrueFalse();//  falseTrueFalse()
 
@@ -37,10 +40,52 @@ public final class Container /* Container*/ {
   public final void simpleOut(@org.jetbrains.annotations.NotNull() Out<? extends Final>);//  simpleOut(Out<? extends Final>)
 }
 
+public final class ContainerForPropertyAndAccessors /* ContainerForPropertyAndAccessors*/ {
+  @org.jetbrains.annotations.NotNull()
+  private Out<? extends Open> bar;
+
+  @org.jetbrains.annotations.NotNull()
+  private final In<? super java.lang.Object> simpleIn;
+
+  @org.jetbrains.annotations.NotNull()
+  private final Out<? extends Final> simpleOut;
+
+  @org.jetbrains.annotations.NotNull()
+  private final Out<Out<Out<Open>>> deepOpen;
+
+  @org.jetbrains.annotations.NotNull()
+  public final In<? super java.lang.Object> getSimpleIn();//  getSimpleIn()
+
+  @org.jetbrains.annotations.NotNull()
+  public final Out<? extends Final> getSimpleOut();//  getSimpleOut()
+
+  @org.jetbrains.annotations.NotNull()
+  public final Out<? extends Open> getZoo(@org.jetbrains.annotations.NotNull() Out<Out<Out<Open>>>);//  getZoo(Out<Out<Out<Open>>>)
+
+  @org.jetbrains.annotations.NotNull()
+  public final Out<Open> getBar();//  getBar()
+
+  @org.jetbrains.annotations.NotNull()
+  public final Out<Out<Out<Open>>> getDeepOpen();//  getDeepOpen()
+
+  public  ContainerForPropertyAndAccessors();//  .ctor()
+
+  public final void setBar(@org.jetbrains.annotations.NotNull() Out<? extends Open>);//  setBar(Out<? extends Open>)
+}
+
 public final class Final /* Final*/ {
   public  Final();//  .ctor()
 }
 
+@kotlin.jvm.JvmSuppressWildcards(suppress = true)
+public final class HasAnnotation /* HasAnnotation*/ {
+  public  HasAnnotation();//  .ctor()
+
+  public final void doesNot(@org.jetbrains.annotations.NotNull() Out<Out<Open>>);//  doesNot(Out<Out<Open>>)
+
+  public final void parameterDisagrees(@org.jetbrains.annotations.NotNull() Out<? extends java.lang.Integer>);//  parameterDisagrees(Out<? extends java.lang.Integer>)
+}
+
 public final class In /* In*/<Z>  {
   public  In();//  .ctor()
 }
diff --git a/compiler/testData/asJava/lightClasses/lightClassByPsi/jvmWildcardAnnotations.kt b/compiler/testData/asJava/lightClasses/lightClassByPsi/jvmWildcardAnnotations.kt
index 82f6aa0b35f..db4c64c39fc 100644
--- a/compiler/testData/asJava/lightClasses/lightClassByPsi/jvmWildcardAnnotations.kt
+++ b/compiler/testData/asJava/lightClasses/lightClassByPsi/jvmWildcardAnnotations.kt
@@ -12,7 +12,6 @@ class Container {
     @JvmSuppressWildcards(true)
     fun deepOpen(x: Out<Out<Out<Open>>>) {}
 
-
     @JvmSuppressWildcards(false)
     fun bar(): Out<Open> = null!!
 
@@ -27,6 +26,32 @@ class Container {
 
     @JvmSuppressWildcards(true)
     fun bar(x: Boolean, y: In<Long>, z: @JvmSuppressWildcards(false) Long): Int = 1
+
+    @JvmSuppressWildcards(true)
+    fun Out<Out<Out<Open>>>.zoo(z: @JvmSuppressWildcards(false) Out<Open>) {}
+}
+
+class ContainerForPropertyAndAccessors {
+    @JvmSuppressWildcards(true)
+    val deepOpen: Out<Out<Out<Open>>> = TODO()
+
+    @JvmSuppressWildcards(false)
+    var bar: Out<Open> = TODO()
+
+    val simpleOut: Out<@JvmWildcard Final> = TODO()
+
+    val simpleIn: In<@JvmWildcard Any?> = TODO()
+
+    @JvmSuppressWildcards(true)
+    val Out<Out<Out<Open>>>.zoo: @JvmSuppressWildcards(false) Out<Open>
+        get() = TODO()
+}
+
+@JvmSuppressWildcards(true)
+class HasAnnotation {
+    fun doesNot(p: Out<Out<Open>>) {}
+
+    fun parameterDisagrees(p: @JvmSuppressWildcards(false) Out<Int>) {}
 }
 
 interface A<T> {
diff --git a/compiler/testData/asJava/lightClasses/lightClassByPsi/jvmWildcardAnnotations.lib.java b/compiler/testData/asJava/lightClasses/lightClassByPsi/jvmWildcardAnnotations.lib.java
new file mode 100644
index 00000000000..7ad415f2930
--- /dev/null
+++ b/compiler/testData/asJava/lightClasses/lightClassByPsi/jvmWildcardAnnotations.lib.java
@@ -0,0 +1,107 @@
+public abstract interface A /* A*/<T>  {
+  @kotlin.jvm.JvmSuppressWildcards(suppress = true)
+  @org.jetbrains.annotations.NotNull()
+  public abstract Out<T> foo();//  foo()
+}
+
+public abstract interface B /* B*/ {
+  @kotlin.jvm.JvmSuppressWildcards(suppress = true)
+  @org.jetbrains.annotations.NotNull()
+  public abstract In<Open> foo();//  foo()
+}
+
+public final class Container /* Container*/ {
+  @kotlin.jvm.JvmSuppressWildcards(suppress = false)
+  @org.jetbrains.annotations.NotNull()
+  public final Out<? extends Open> bar();//  bar()
+
+  @kotlin.jvm.JvmSuppressWildcards(suppress = false)
+  public final int foo(boolean, @org.jetbrains.annotations.NotNull() Out<? extends java.lang.Integer>);//  foo(boolean, Out<? extends java.lang.Integer>)
+
+  @kotlin.jvm.JvmSuppressWildcards(suppress = true)
+  public final int bar(boolean, @org.jetbrains.annotations.NotNull() In<java.lang.Long>, long);//  bar(boolean, In<java.lang.Long>, long)
+
+  @kotlin.jvm.JvmSuppressWildcards(suppress = true)
+  public final void deepOpen(@org.jetbrains.annotations.NotNull() Out<Out<Out<Open>>>);//  deepOpen(Out<Out<Out<Open>>>)
+
+  @kotlin.jvm.JvmSuppressWildcards(suppress = true)
+  public final void zoo(@org.jetbrains.annotations.NotNull() Out<Out<Out<Open>>>, @org.jetbrains.annotations.NotNull() Out<? extends Open>);//  zoo(Out<Out<Out<Open>>>, Out<? extends Open>)
+
+  @org.jetbrains.annotations.NotNull()
+  public final OutPair<? extends Final, OutPair<Out<Final>, Out<? extends Final>>> falseTrueFalse();//  falseTrueFalse()
+
+  @org.jetbrains.annotations.NotNull()
+  public final OutPair<Open, ? extends OutPair<Open,? extends Out<Open>>> combination();//  combination()
+
+  public  Container();//  .ctor()
+
+  public final void simpleIn(@org.jetbrains.annotations.NotNull() In<? super java.lang.Object>);//  simpleIn(In<? super java.lang.Object>)
+
+  public final void simpleOut(@org.jetbrains.annotations.NotNull() Out<? extends Final>);//  simpleOut(Out<? extends Final>)
+}
+
+public final class ContainerForPropertyAndAccessors /* ContainerForPropertyAndAccessors*/ {
+  @org.jetbrains.annotations.NotNull()
+  private Out<? extends Open> bar;
+
+  @org.jetbrains.annotations.NotNull()
+  private final In<? super java.lang.Object> simpleIn;
+
+  @org.jetbrains.annotations.NotNull()
+  private final Out<? extends Final> simpleOut;
+
+  @org.jetbrains.annotations.NotNull()
+  private final Out<Out<Out<Open>>> deepOpen;
+
+  @org.jetbrains.annotations.NotNull()
+  public final In<? super java.lang.Object> getSimpleIn();//  getSimpleIn()
+
+  @org.jetbrains.annotations.NotNull()
+  public final Out<? extends Final> getSimpleOut();//  getSimpleOut()
+
+  @org.jetbrains.annotations.NotNull()
+  public final Out<? extends Open> getZoo(@org.jetbrains.annotations.NotNull() Out<? extends Out<? extends Out<? extends Open>>>);//  getZoo(Out<? extends Out<? extends Out<? extends Open>>>)
+
+  @org.jetbrains.annotations.NotNull()
+  public final Out<Open> getBar();//  getBar()
+
+  @org.jetbrains.annotations.NotNull()
+  public final Out<Out<Out<Open>>> getDeepOpen();//  getDeepOpen()
+
+  public  ContainerForPropertyAndAccessors();//  .ctor()
+
+  public final void setBar(@org.jetbrains.annotations.NotNull() Out<? extends Open>);//  setBar(Out<? extends Open>)
+}
+
+public final class Final /* Final*/ {
+  public  Final();//  .ctor()
+}
+
+@kotlin.jvm.JvmSuppressWildcards(suppress = true)
+public final class HasAnnotation /* HasAnnotation*/ {
+  public  HasAnnotation();//  .ctor()
+
+  public final void doesNot(@org.jetbrains.annotations.NotNull() Out<Out<Open>>);//  doesNot(Out<Out<Open>>)
+
+  public final void parameterDisagrees(@org.jetbrains.annotations.NotNull() Out<? extends java.lang.Integer>);//  parameterDisagrees(Out<? extends java.lang.Integer>)
+}
+
+public final class In /* In*/<Z>  {
+  public  In();//  .ctor()
+}
+
+public final class Inv /* Inv*/<E>  {
+  public  Inv();//  .ctor()
+}
+
+public class Open /* Open*/ {
+  public  Open();//  .ctor()
+}
+
+public final class Out /* Out*/<T>  {
+  public  Out();//  .ctor()
+}
+
+public final class OutPair /* OutPair*/<Final, Y>  {
+  public  OutPair();//  .ctor()
+}