Thank you so much!
This wasn't at all clear to me at first but it's now making a lot more sense.
(and just in case anyone runs into this, I think there's some room for improvement on the feedback specifically for initializers, as noted here: Interaction between non-escapable types - #4 by mattie)