I see ExecutorTaskOptionRecord in the codebase, which looks like an API that could be used to hint where the freshly created task should start executing, rather then starting on generic executor and then switching inside the async function. But I don't see it being used anywhere.

I could make use of it to optimise implementation of the async deinit, the fact that it is not used concerns me. Any reasons why using ExecutorTaskOptionRecord for async deinit might be a bad idea?