swift

[Type checker] Be more careful when checking @_implements.

#21655

Merged