Commit be329c8

committed

Rust: Replace recursion through forall with ranked recursion

1 parent 42fe2d5 commit be329c8Copy full SHA for be329c8

4 files changed

+270

-332

lines changed

rust/ql
- lib/codeql/rust/internal/typeinference
  - TypeInference.qll
- test/library-tests
  - dataflow/local
    - DataFlowStep.expected
  - type-inference
    - closure.rs
    - type-inference.expected

4 files changed

+270

-332

lines changed

Comments

(0)