@@ -608,12 +608,12 @@ PotentialBindings::isLiteralCoveredBy(const LiteralRequirement &literal,
608
608
} while (true );
609
609
}
610
610
611
- bool PotentialBindings::addPotentialBinding (PotentialBinding binding,
611
+ void PotentialBindings::addPotentialBinding (PotentialBinding binding,
612
612
bool allowJoinMeet) {
613
613
assert (!binding.BindingType ->is <ErrorType>());
614
614
615
615
if (Bindings.count (binding))
616
- return false ;
616
+ return ;
617
617
618
618
// If this is a non-defaulted supertype binding,
619
619
// check whether we can combine it with another
@@ -652,7 +652,7 @@ bool PotentialBindings::addPotentialBinding(PotentialBinding binding,
652
652
// If new binding has been joined with at least one of existing
653
653
// bindings, there is no reason to include it into the set.
654
654
if (!joined.empty ())
655
- return false ;
655
+ return ;
656
656
}
657
657
658
658
// If the type variable can't bind to an lvalue, make sure the
@@ -663,7 +663,7 @@ bool PotentialBindings::addPotentialBinding(PotentialBinding binding,
663
663
}
664
664
665
665
if (!isViable (binding))
666
- return false ;
666
+ return ;
667
667
668
668
// Check whether the given binding covers any of the literal protocols
669
669
// associated with this type variable.
@@ -698,7 +698,7 @@ bool PotentialBindings::addPotentialBinding(PotentialBinding binding,
698
698
}
699
699
}
700
700
701
- return Bindings.insert (std::move (binding));
701
+ Bindings.insert (std::move (binding));
702
702
}
703
703
704
704
void PotentialBindings::addLiteral (Constraint *constraint) {
0 commit comments