diff options
| author | Yong He <yonghe@outlook.com> | 2024-09-19 15:44:32 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-19 15:44:32 -0700 |
| commit | 26ca9c5b0657489f82a221c62903cbc802aaa6a0 (patch) | |
| tree | a63a66e5794df44f2391d1f4a0a80d29ed08c40e /source/slang/slang-check-impl.h | |
| parent | dd3d80e61b316390a468a142de2be2fb85b73d0d (diff) | |
Synthesize conformance for generic requirements. (#5111)
* Synthesize conformance for generic requirements.
* Fix.
* Fix build error.
* address code review.
Diffstat (limited to 'source/slang/slang-check-impl.h')
| -rw-r--r-- | source/slang/slang-check-impl.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/source/slang/slang-check-impl.h b/source/slang/slang-check-impl.h index 29a57ae35..8edcbb16a 100644 --- a/source/slang/slang-check-impl.h +++ b/source/slang/slang-check-impl.h @@ -1743,6 +1743,12 @@ namespace Slang CallableDecl* synthesized, List<Expr*>& synArgs); + CallableDecl* synthesizeMethodSignatureForRequirementWitnessInner( + ConformanceCheckingContext* context, + DeclRef<CallableDecl> requiredMemberDeclRef, + List<Expr*>& synArgs, + ThisExpr*& synThis); + CallableDecl* synthesizeMethodSignatureForRequirementWitness( ConformanceCheckingContext* context, DeclRef<CallableDecl> requiredMemberDeclRef, @@ -1803,6 +1809,7 @@ namespace Slang bool trySynthesizeSubscriptRequirementWitness( ConformanceCheckingContext* context, + const LookupResult& lookupResult, DeclRef<SubscriptDecl> requiredMemberDeclRef, RefPtr<WitnessTable> witnessTable); |