swift234

Sema: Re-purpose unavailable override checking code for protocol conformances

This was easy with a bit of refactoring, but eventually I'd love to
converge override checking and witness checking logic a bit more.

Fixes <rdar://26183366>.