diff --git a/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/graphInference/NonGenericInnerClassOfGenericsOuterWithWildcardsInReturnType.java b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/graphInference/NonGenericInnerClassOfGenericsOuterWithWildcardsInReturnType.java
new file mode 100644
index 000000000000..dd24fa298e5a
--- /dev/null
+++ b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/graphInference/NonGenericInnerClassOfGenericsOuterWithWildcardsInReturnType.java
@@ -0,0 +1,21 @@
+
+import java.util.List;
+
+class OuterClass<E> {
+    private class InnerClass {
+        void foo(final E s) {
+            System.out.println(s);
+        }
+    }
+
+    void f(List<OuterClass<? extends String>.InnerClass> l) {
+        l.get(0).foo<error descr="'foo(capture<? extends java.lang.String>)' in 'OuterClass.InnerClass' cannot be applied to '(java.lang.String)'">("")</error>;
+        baz(bar(l));
+    }
+
+    private <M> void baz(final OuterClass<? extends M>.InnerClass bar) { }
+
+    <T> OuterClass<? extends T>.InnerClass bar(List<OuterClass<? extends T>.InnerClass> l) {
+        return l.get(0);
+    }
+}
\ No newline at end of file
diff --git a/java/java-tests/testSrc/com/intellij/java/codeInsight/daemon/lambda/GraphInferenceHighlightingTest.java b/java/java-tests/testSrc/com/intellij/java/codeInsight/daemon/lambda/GraphInferenceHighlightingTest.java
index 03aa54474f14..d71b31da0b4d 100644
--- a/java/java-tests/testSrc/com/intellij/java/codeInsight/daemon/lambda/GraphInferenceHighlightingTest.java
+++ b/java/java-tests/testSrc/com/intellij/java/codeInsight/daemon/lambda/GraphInferenceHighlightingTest.java
@@ -172,6 +172,7 @@ public class GraphInferenceHighlightingTest extends LightDaemonAnalyzerTestCase
   public void testErasureOfReturnTypeIffUncheckedConversionWasNecessaryDuringApplicabilityCheckOnly() { doTest(); }
   public void testTwoDifferentParameterizationCheckWithInterfaceTypeArguments() { doTest(); }
   public void testNonGenericInnerClassOfGenericsOuterInReturnType() { doTest(); }
+  public void testNonGenericInnerClassOfGenericsOuterWithWildcardsInReturnType() { doTest(); }
   public void testUncheckedConversionDuringProperTypeExpressionConstraintResolution() { doTest(); }
   //public void _testAssignabilityOfStandaloneExpressionsDuringApplicabilityCheck() { doTest(); }
   public void testRecursiveTypeWithCapture() { doTest(); }