diff options
| author | Yong He <yonghe@outlook.com> | 2024-08-30 16:32:34 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-30 16:32:34 -0700 |
| commit | 24df5515d6c2f8537683d0e48d27a161c394e7cd (patch) | |
| tree | bbe71d5622514da5d7b60a55906adadf08f66639 /source/slang/slang-check-conformance.cpp | |
| parent | 49862e764c6c873d7ee694663f226631b8a41353 (diff) | |
Support extension on generic type. (#4968)
Diffstat (limited to 'source/slang/slang-check-conformance.cpp')
| -rw-r--r-- | source/slang/slang-check-conformance.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/source/slang/slang-check-conformance.cpp b/source/slang/slang-check-conformance.cpp index 9a44cbbb4..ffa037996 100644 --- a/source/slang/slang-check-conformance.cpp +++ b/source/slang/slang-check-conformance.cpp @@ -60,7 +60,7 @@ namespace Slang return result; result = checkAndConstructSubtypeWitness(subType, superType, isSubTypeOptions); - if(int(isSubTypeOptions) & int(IsSubTypeOptions::NotReadyForLookup)) + if(!result && (int(isSubTypeOptions) & int(IsSubTypeOptions::NoCaching))) return result; getShared()->cacheSubtypeWitness(subType, superType, result); @@ -112,7 +112,7 @@ namespace Slang // tangling convertibility into it. // First, make sure both sub type and super type decl are ready for lookup. - if ( !(int(isSubTypeOptions) & int(IsSubTypeOptions::NotReadyForLookup)) ) + if ( !(int(isSubTypeOptions) & int(IsSubTypeOptions::NoCaching)) ) { if (auto subDeclRefType = as<DeclRefType>(subType)) { |