You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I haven't tested anything, but it seems to me that p should be the closure itself, with the projection being the the captured variable. So no, I would rather bet (but I'm unsure) there is something more subtle to be done here.
Yea it is that line but that's not going to be a correct fix, the purpose of that line is to identify the captures of ghost closures, which need to be erased and I think it glitches out for "ghost captures".
This code crashes creusot with "called
Option::unwrap()
on aNone
value":It seems this is because creusot assumes a variable captured in
gh!
is always defined in the enclosing function.The text was updated successfully, but these errors were encountered: