Here's a maybe spicy take that came to mind while thinking about this a bit further:
Does it ever make sense for async methods on a non-sendable type to NOT inherit the callers isolation?
If that would be the default (ie: hop around on sendable all you want, but just stick to the current isolation on non-sendable types) - wouldn't that kind of always be nicer to deal with?