From e7df8538eb8f0ed06f0838d946bec8e9e0fe0985 Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Thu, 1 Dec 2022 18:55:43 -0800
Subject: Allow `no_diff` on `this` parameter. (#2543)

---
 source/slang/slang-check-conformance.cpp | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'source/slang/slang-check-conformance.cpp')

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)
-- 
cgit v1.2.3