IDEA-133129 Expression is incorrectly detected as being nullable

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

@@ -0,0 +1,14 @@
+import org.jetbrains.annotations.NotNull;
+import org.jetbrains.annotations.Nullable;
+
+final class Alive {
+  @Nullable private transient Object elvis;
+  @NotNull
+  public Object smth() {
+    if (elvis != null) {
+      return elvis;
+    } else {
+      return <warning descr="'null' is returned by the method declared as @NotNull">null</warning>;
+    }
+  }
+}