2 parents 025e25f + 94cb403 commit 9239f0cCopy full SHA for 9239f0c
1 file changed
rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll
@@ -583,7 +583,7 @@ module RustDataFlowGen<RustDataFlowInputSig Input> implements InputSig<Location>
583
584
class LambdaCallKind = LambdaCallKindAlias;
585
586
- predicate forceHighPrecision(Content c) { none() }
+ predicate forceHighPrecision(Content c) { any() }
587
588
class ContentApprox = ContentApproxAlias;
589
0 commit comments