Make sure we don't try to introduce an implicit same-type requirement in this case. Fixes rdar://problem/63731199.