File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -788,6 +788,10 @@ class ConformanceChecker : public WitnessChecker {
788788 ResolveWitnessResult resolveTypeWitnessViaLookup (
789789 AssociatedTypeDecl *assocType);
790790
791+ // / Check whether all of the protocol's generic requirements are satisfied by
792+ // / the chosen type witnesses.
793+ void ensureRequirementsAreSatisfied ();
794+
791795 // / Diagnose or defer a diagnostic, as appropriate.
792796 // /
793797 // / \param requirement The requirement with which this diagnostic is
@@ -846,10 +850,6 @@ class ConformanceChecker : public WitnessChecker {
846850 // / directly as possible.
847851 void resolveSingleTypeWitness (AssociatedTypeDecl *assocType);
848852
849- // / Check all of the protocols requirements are actually satisfied by a
850- // / the chosen type witnesses.
851- void ensureRequirementsAreSatisfied ();
852-
853853 // / Check the entire protocol conformance, ensuring that all
854854 // / witnesses are resolved and emitting any diagnostics.
855855 void checkConformance (MissingWitnessDiagnosisKind Kind);
You can’t perform that action at this time.
0 commit comments