Rachit Nigam

> In this case, compaction would not be allowed to parallelize the execution of A and the static par. So this is what I don't understand. If A does not...

Ah, this is a good example! Note that as-late-as-possible (ALAP) schedule will still be able to satisfy the requirement of zero-cycle transition from B -> `par { ... }` but...

@sampsyo okay, these examples are a nail in the coffin of the whole "language-level guarantee" pitch I was trying to go for. I think the attribute approach is fine for...

Thanks for creating this issue! One can imagine a similar pass that hoists groups out of a `while` loops but that would be more complicated because you'd be implementing [loop...

Okay, I'm going to mark this as "available" then! The plan is to implement the `@fast` attribute for now and eventually promote it to the `fast` keyword!

An obvious but important property of this rewrite should be that `action` cannot affect the value of the conditions `if_case_*`. If it does, we cannot move it outside the `if`.

Thanks for the thoughtful write-up Ben! I agree that there is room for improvement here. I think the immutable by default nature of libraries comes from the original use-case: program...

@bcarlet can you summarize the outcomes from the synchronous meeting we had about this? IIRC, the top-level points were: 1. We should give mutable access to `LibrarySignatures` 2. We should...

I think with #1596, we can consider adding all the "truly stable" primitives in the `stdlib` definition in a Rust crate since we're promising to support them in the future...

#1609 adds those methods to `LibrarySignatures`. Another, follow-on PR can address exposing them through the builder. Unfortunately that is going to be a pervasive change because we'll need to change...