I'm very interested in this topic. Regarding the proposal in this thread about adding typed throws support to Task, has typed throws support been considered for TaskLocal’s withValue(:operation:file:line:) and withValue(:operation:isolation:file:line:) as well? Apologies if this is not the right thread to bring this up.