summaryrefslogtreecommitdiff
path: root/source/slang/slang-check-constraint.cpp
diff options
context:
space:
mode:
authorYong He <yonghe@outlook.com>2020-06-05 13:01:06 -0700
committerGitHub <noreply@github.com>2020-06-05 13:01:06 -0700
commit92fc3aaa835315ff08750c7b5a7498b7228e2c33 (patch)
tree162b2b4b9411ede11d6a53015713ab431283f6c6 /source/slang/slang-check-constraint.cpp
parent389be08822ba554327b5948266f54acf8a312fe7 (diff)
parente3e1cf2045f14837cfecb14e252c0e1083787b93 (diff)
Merge branch 'master' into findtypebynamefix
Diffstat (limited to 'source/slang/slang-check-constraint.cpp')
-rw-r--r--source/slang/slang-check-constraint.cpp4
1 files changed, 2 insertions, 2 deletions
diff --git a/source/slang/slang-check-constraint.cpp b/source/slang/slang-check-constraint.cpp
index 427ba9ec2..c37af8892 100644
--- a/source/slang/slang-check-constraint.cpp
+++ b/source/slang/slang-check-constraint.cpp
@@ -80,7 +80,7 @@ namespace Slang
DeclRef<InterfaceDecl> interfaceDeclRef)
{
// The most basic test here should be: does the type declare conformance to the trait.
- if(DoesTypeConformToInterface(type, interfaceDeclRef))
+ if(isDeclaredSubtype(type, interfaceDeclRef))
return type;
// Just because `type` doesn't conform to the given `interfaceDeclRef`, that
@@ -119,7 +119,7 @@ namespace Slang
continue;
// We only want to consider types that implement the target interface.
- if(!DoesTypeConformToInterface(candidateType, interfaceDeclRef))
+ if(!isDeclaredSubtype(candidateType, interfaceDeclRef))
continue;
// We only want to consider types where we can implicitly convert from `type`