dfa: support outer class fields access with qualified this

java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/value/DfaExpressionFactory.java

@@ -107,6 +107,14 @@ public class DfaExpressionFactory {
       return myFactory.getConstFactory().createFromValue(value, type, null);
     }
 
+    if (expression instanceof PsiThisExpression) {
+      PsiJavaCodeReferenceElement qualifier = ((PsiThisExpression)expression).getQualifier();
+      PsiElement target = qualifier == null ? null : qualifier.resolve();
+      if (target instanceof PsiClass) {
+        return myFactory.getVarFactory().createVariableValue((PsiModifierListOwner)target, null, false, null);
+      }
+    }
+
     return null;
   }
 

java/java-tests/testData/inspection/dataFlow/fixture/OptionalThis.java

@@ -43,4 +43,19 @@ class TestInspection {
   private void doSomething(@NotNull String s) {
     //...
   }
+}
+
+class WithInner {
+  @Nullable Object o;
+
+  {
+    new Runnable() {
+      @Override
+      public void run() {
+        if (WithInner.this.o != null) {
+          System.out.println(WithInner.this.o.toString());
+        }
+      }
+    };
+  }
 }