commit 1270d299492b28445d608403040c0de86445e961
author Dmitri Gribenko <dmitrig@google.com> Mon Jun 19 23:34:56 2023 -0700
committer Copybara-Service <copybara-worker@google.com> Mon Jun 19 23:36:05 2023 -0700
tree 4e64d81a50a0e30812c99d21f1c1252204604ae7
parent ad23563d389ffae7b794c5180ef180cab90899b2

Add TODOs about false negatives

PiperOrigin-RevId: 541805378

nullability/test/templates.cc

diff --git a/nullability/test/templates.cc b/nullability/test/templates.cc
index 83839a7..7b093fb 100644
--- a/nullability/test/templates.cc
+++ b/nullability/test/templates.cc
@@ -1114,8 +1114,8 @@
       **s.b;  // [[unsafe]]
       *s.f;
       *s.g;
-      *s.f();
-      *s.g();
+      *s.f();  // TODO: fix false negative.
+      *s.g();  // TODO: fix false negative.
     }
 
     void targetNonnull(S<int* _Nonnull> s) {
@@ -1143,7 +1143,7 @@
       ***d.arg;  // [[unsafe]]
       *e.arg;    // [[unsafe]]
 
-      *e.arg();
+      *e.arg();  // TODO: fix false negative.
     }
 
     void targetNonnull(S<int* _Nonnull>(a), S<int* _Nonnull>(*(b)),