Advanced
Rust
Q63 / 100
What is the Polonius borrow checker?
Correct! Well done.
Incorrect.
The correct answer is B) A next-generation borrow checker based on Datalog queries that is more precise, accepting more valid programs than NLL
B
Correct Answer
A next-generation borrow checker based on Datalog queries that is more precise, accepting more valid programs than NLL
Explanation
Polonius models borrows as facts and uses Datalog to compute liveness. It accepts some patterns that NLL incorrectly rejects while maintaining soundness.
Progress
63/100