mirror of
https://github.com/github/codeql.git
synced 2026-02-12 13:11:20 +01:00
453 B
453 B
0.2.5
Minor Analysis Improvements
- The predicate
SummarizedCallable.propagatesFlowhas been extended with the columnsProvenance pandboolean isExact, and as a consequence the predicatesSummarizedCallable.hasProvenanceandSummarizedCallable.hasExactModelhave been removed. - Added type inference support for the
FnMut(..) -> ..andFn(..) -> ..traits. They now work in type parameter bounds and are implemented by closures.