swift234

[devirtualizer] Handle covariant return types correctly.

Also add a test to make sure we handle contravariant args correctly as
well (which we already do).

Swift SVN r17595