summaryrefslogtreecommitdiff
path: root/source/slang/slang-lookup.cpp
diff options
context:
space:
mode:
authorYong He <yonghe@outlook.com>2022-10-13 13:42:05 -0700
committerGitHub <noreply@github.com>2022-10-13 13:42:05 -0700
commitafa9f4b2786c92e72a563f316e074f62770630cb (patch)
tree8b84c53e6ef0eecf7dc16a0ca57055723e2e60a9 /source/slang/slang-lookup.cpp
parent344898b091867e5450a3fa432a207d75255df77a (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.cpp4
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;