swift234

[sil-verifier] Allow upcasts between optional types.

Allow for
 upcast %0 : $Optional<D> to $Optional<C>
as long as D is a subclass of C.

Swift SVN r28433