To be clear, I'm not against some syntax existing in Swift for this, only against the syntax that pretends we have generic protocols when we do not.
And I think that any proposal that wants to steal the syntax for generic protocols for another purpose needs to explicitly address how we get something like Rust's Into and TryInto in the future.