1 parent 78292f3 commit 94cb403Copy full SHA for 94cb403
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