[ConstraintSystem] Allow binding metatypes to succeed if one contains

a hole.
This commit is contained in:
Holly Borla
2019-11-06 13:49:16 -08:00
parent 1d63710a06
commit b560261838
3 changed files with 23 additions and 1 deletions

View File

@@ -3399,6 +3399,13 @@ bool ConstraintSystem::repairFailures(
break;
}
case ConstraintLocator::InstanceType: {
if (lhs->hasUnresolvedType() || rhs->hasUnresolvedType())
return true;
break;
}
default:
break;
}