Update csharp/ql/lib/semmle/code/csharp/AnnotatedType.qll

hvitved · michaelnebel · web-flow · commit 5f5bcf686dd2 · 2024-02-26T11:35:28.000+01:00
Co-authored-by: Michael Nebel &lt;michaelnebel@github.com&gt;
diff --git a/csharp/ql/lib/semmle/code/csharp/AnnotatedType.qll b/csharp/ql/lib/semmle/code/csharp/AnnotatedType.qll
@@ -174,7 +174,7 @@ private module Annotations {
   Nullability getChildNullability(Nullability n, int i) {
     result = getChildNullability0(n, i)
     or
-    not exists(getChildNullability0(n, _)) and
+    not exists(getChildNullability0(n, i)) and
     result = n
   }
 

Original file line number	Diff line number	Diff line change
`@@ -174,7 +174,7 @@ private module Annotations {`
`174`	`174`	`Nullability getChildNullability(Nullability n, int i) {`
`175`	`175`	`result = getChildNullability0(n, i)`
`176`	`176`	`or`
`177`		`- not exists(getChildNullability0(n, _)) and`
	`177`	`+ not exists(getChildNullability0(n, i)) and`
`178`	`178`	`result = n`
`179`	`179`	`}`
`180`	`180`