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 {
788
788
ResolveWitnessResult resolveTypeWitnessViaLookup (
789
789
AssociatedTypeDecl *assocType);
790
790
791
+ // / Check whether all of the protocol's generic requirements are satisfied by
792
+ // / the chosen type witnesses.
793
+ void ensureRequirementsAreSatisfied ();
794
+
791
795
// / Diagnose or defer a diagnostic, as appropriate.
792
796
// /
793
797
// / \param requirement The requirement with which this diagnostic is
@@ -846,10 +850,6 @@ class ConformanceChecker : public WitnessChecker {
846
850
// / directly as possible.
847
851
void resolveSingleTypeWitness (AssociatedTypeDecl *assocType);
848
852
849
- // / Check all of the protocols requirements are actually satisfied by a
850
- // / the chosen type witnesses.
851
- void ensureRequirementsAreSatisfied ();
852
-
853
853
// / Check the entire protocol conformance, ensuring that all
854
854
// / witnesses are resolved and emitting any diagnostics.
855
855
void checkConformance (MissingWitnessDiagnosisKind Kind);
You can’t perform that action at this time.
0 commit comments