In the current polonius input and output facts, how do I track the value a borrow refers to? For example,
let r = &mut v;
How do I track that r refers to the value in v? I believe this was originally referred to as the Borrow Region.
In the current polonius input and output facts, how do I track the value a borrow refers to? For example,
let r = &mut v;
How do I track that r refers to the value in v? I believe this was originally referred to as the Borrow Region.
Have you checked the documentation related to Loan Analysis?
This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.