File tree Expand file tree Collapse file tree 2 files changed +5
-4
lines changed Expand file tree Collapse file tree 2 files changed +5
-4
lines changed Original file line number Diff line number Diff line change @@ -3358,7 +3358,8 @@ ResolveWitnessResult ConformanceChecker::resolveWitnessViaDerivation(
3358
3358
}
3359
3359
3360
3360
// Attempt to derive the witness.
3361
- auto derived = TC.deriveProtocolRequirement (DC, derivingTypeDecl, requirement);
3361
+ auto derived =
3362
+ TypeChecker::deriveProtocolRequirement (DC, derivingTypeDecl, requirement);
3362
3363
if (!derived)
3363
3364
return ResolveWitnessResult::ExplicitFailed;
3364
3365
Original file line number Diff line number Diff line change @@ -1550,9 +1550,9 @@ class TypeChecker final : public LazyResolver {
1550
1550
// / \returns nullptr if the derivation failed, or the derived declaration
1551
1551
// / if it succeeded. If successful, the derived declaration is added
1552
1552
// / to TypeDecl's body.
1553
- ValueDecl *deriveProtocolRequirement (DeclContext *DC,
1554
- NominalTypeDecl *TypeDecl,
1555
- ValueDecl *Requirement);
1553
+ static ValueDecl *deriveProtocolRequirement (DeclContext *DC,
1554
+ NominalTypeDecl *TypeDecl,
1555
+ ValueDecl *Requirement);
1556
1556
1557
1557
// / Derive an implicit type witness for the given associated type in
1558
1558
// / the conformance of the given nominal type to some known
You can’t perform that action at this time.
0 commit comments