I think your mental model is right (either that or ours are both wrong in a similar way 
). I think it is a bug that this does not work (exhibits A, B, C). Speculating a bit, but I think it may be due to closure captures generally not getting annotated as sending when lowered to SIL (with stuff involving async let being a possible exception).
1 Like