Yes, T is a subtype of Optional<T>. Therefore String?? is a subtype of String??? I'm not sure where the exact reference on this is, give me a few minutes to look it up.
EDIT: This was the best I could find, the built in subtyping support of Optional<T> should probably get an appendix in the Swift language guide or something.