Inferring as much as possible is generally not a good goal in language design - just because something could be implicit doesn’t mean it should be. In this case, implicit Sendable conformance only saves you from having to write a single token. (I think the automatic inference for non-public types was a bad idea also, FWIW.)
2 Likes