Stream: general

Topic: miri stack


Jake Goulding (Feb 11 2019 at 15:18, on Zulip):

Borrow being dereferenced (Uniq(1771)) does not exist on the stack

This is a different "stack" than the function call stack, yes? If so, I'd avoid using that term in this context, or qualifying it more.

pnkfelix (Feb 11 2019 at 15:43, on Zulip):

cc @RalfJ ^

RalfJ (Feb 11 2019 at 16:23, on Zulip):

yeah it is a different stack

RalfJ (Feb 11 2019 at 16:23, on Zulip):

what about "the borrow stack"?^^

Jake Goulding (Feb 11 2019 at 16:24, on Zulip):

Is that what you've used in the blog posts? It sounds familiar...

RalfJ (Feb 11 2019 at 19:12, on Zulip):

I call the entire thing "Stacked Borrows"

RalfJ (Feb 11 2019 at 19:12, on Zulip):

I dont think I used a special term for the stack, but I might have

eddyb (Feb 16 2019 at 10:48, on Zulip):

"not found in active borrows" might be better, not sure

Last update: Nov 20 2019 at 11:25UTC