diff options
| author | Yong He <yonghe@outlook.com> | 2022-10-13 13:42:05 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-13 13:42:05 -0700 |
| commit | afa9f4b2786c92e72a563f316e074f62770630cb (patch) | |
| tree | 8b84c53e6ef0eecf7dc16a0ca57055723e2e60a9 /source/slang/slang-lookup.cpp | |
| parent | 344898b091867e5450a3fa432a207d75255df77a (diff) | |
Fix missing implementations in ConjunctionSubtypeWitness. (#2449)
* Fix missing implementations in ConjunctionSubtypeWitness.
* Fix.
Co-authored-by: Yong He <yhe@nvidia.com>
Diffstat (limited to 'source/slang/slang-lookup.cpp')
| -rw-r--r-- | source/slang/slang-lookup.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/source/slang/slang-lookup.cpp b/source/slang/slang-lookup.cpp index a8818fd5c..cddf3d7ce 100644 --- a/source/slang/slang-lookup.cpp +++ b/source/slang/slang-lookup.cpp @@ -712,7 +712,7 @@ static void _lookUpMembersInSuperTypeImpl( // The evidence for the subtype relationship will be a witness // proving that `leafType : leftType & rightType`: // - leafIsLeftWitness->conunctionWitness = leafIsSuperWitness; + leafIsLeftWitness->conjunctionWitness = leafIsSuperWitness; // // ... along with the index of the desired super-type in // that conjunction. The index of `leftType` in `leftType & rightType` @@ -725,7 +725,7 @@ static void _lookUpMembersInSuperTypeImpl( // the conjunction. // auto leafIsRightWitness = astBuilder->create<ExtractFromConjunctionSubtypeWitness>(); - leafIsRightWitness->conunctionWitness = leafIsSuperWitness; + leafIsRightWitness->conjunctionWitness = leafIsSuperWitness; leafIsRightWitness->indexInConjunction = 1; leafIsRightWitness->sub = leafType; leafIsRightWitness->sup = rightType; |
