summaryrefslogtreecommitdiff
path: root/source/slang/slang-check-conformance.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'source/slang/slang-check-conformance.cpp')
-rw-r--r--source/slang/slang-check-conformance.cpp5
1 files changed, 5 insertions, 0 deletions
diff --git a/source/slang/slang-check-conformance.cpp b/source/slang/slang-check-conformance.cpp
index 4d983b746..3a50897de 100644
--- a/source/slang/slang-check-conformance.cpp
+++ b/source/slang/slang-check-conformance.cpp
@@ -527,6 +527,11 @@ namespace Slang
return false;
}
+ bool SemanticsVisitor::isTypeDifferentiable(Type* type)
+ {
+ return isDeclaredSubtype(type, m_astBuilder->getDiffInterfaceType());
+ }
+
Val* SemanticsVisitor::tryGetSubtypeWitness(
Type* subType,
DeclRef<AggTypeDecl> superTypeDeclRef)