Paul Rigge

Related: #687 and #1561. An idea I've been playing around with is the following: ``` #[strictness(runtime_mutually_exclusive)] let (...) = chan("name"); ``` This is similar to @ericastor's earlier suggestion, except instead...

Perhaps the suggestion in #1561 to have different chandecl syntaxes is the way to go here too. I could imagine something like: `let (...) = runtime_mutually_exclusive::chan("name");` or `let (...) =...

Proc inlining shouldn't be needed if you multi-proc codegen the same top-level proc- the idea is that multi-proc codegen will have the same interface at the top, but instead of...