Remove a dead cycle check

This commit is contained in:
Robert Widmann
2019-09-20 13:58:28 -07:00
parent 2df956a4ca
commit 321d9b76e7

View File

@@ -498,16 +498,6 @@ Type ConstraintSystem::openUnboundGenericType(UnboundGenericType *unbound,
ConstraintLocatorBuilder locator,
OpenedTypeMap &replacements) {
auto unboundDecl = unbound->getDecl();
// If the unbound decl hasn't been validated yet, we have a circular
// dependency that isn't being diagnosed properly.
//
// FIXME: Delete this condition. He's dead Jim.
if (!unboundDecl->hasComputedGenericSignature()) {
TC.diagnose(unboundDecl, diag::circular_reference);
return Type();
}
auto parentTy = unbound->getParent();
if (parentTy) {
parentTy = openUnboundGenericType(parentTy, locator);