I don't think anybody actually wants this conflation. The design of Optional is antiquated and is now a thought polluter because it hasn't evolved along with other language features.
Optional and MyOptional both being property wrappers with throwing get accessors and non-throwing set accessors (that can't compile, currently) should be the current target.
@MyOptional var x = S()
@Optional var s = S()