On 28/07/2020 16:47, Andrew Haley wrote: > : > It's purely for performance. If runContinuation is not marked > @ChangesCurrentThread, mount/unmount cannot be inlined within it. Thanks. It might be worth expanding the javadoc in @ChangesCurrentThread to make this a bit clearer. It currently says that it disables inlining. -Alan