mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
dc70a0e779
In b30006837e, I changed the `if`
condition here to check for the absence of type variables as well
as type parameters. This is incorrect; the type variables come up
in ValueWitnessRequest, and the type parameters come up in
associated type inference. We want the matching to be more lax
in the former case.
Fixes rdar://149438520.