ssyram
ssyram
Hi, I'm also curious about how is this issue now. I think the current LLBC has not yet extracted the new closure `struct`. Also, I found that currently LLBC has...
Thank you! I think the best way to handle this is that, we view every Fn series (FnMut/Fn/FnOnce) as pure traits & function calls. Hence there should be no extra...
Sorry, "effects" => "efforts"... Thanks for the clarification, this is pretty clear now! And yes, I think it is absolutely great to handle the stuff with this clean separation.
Has this issue been resolved? I found the current version with `--mir elaborated` seems to work properly.
Thanks! This really helps! Btw, is there still some known issue with this functionality? E.g., potential limitation or bugs? I guess, stemming from its technical origin, the `drop` here should...
Thanks so much! So we can definitely trust the information provided!
@protz Could you please help us approving the CI procedure?
@sonmarcho @Nadrieril would you mind approving the CI for us?
Thanks for all the suggestions from both of you! I'm still not sure about how to refractor the Predicate form. So I will leave it to the discussion in Zulip....
Many fixes applied. Thanks for the advice. Mainly involving the fix for the three kinds of existential predicates. But I'm still not sure about if they work as expected...