[Pitch] Isolated Function Values and Sendable

[swhitty (Simon Whitty)]

I wish for @Sendable inference on methods of Sendable types all the time — it seems like a bug without it.

Does it need to be pitched together with @isolated function types?