Rework differential conformance dictionary checking. (#2483)

* Rework differential conformance dictionary checking.

* Revert space changes.

Co-authored-by: Yong He <yhe@nvidia.com>

1 files changed, 0 insertions, 13 deletions

diff --git a/source/slang/slang-check-type.cpp b/source/slang/slang-check-type.cpp
index 6bc4b9d36..d402dde03 100644
--- a/source/slang/slang-check-type.cpp
+++ b/source/slang/slang-check-type.cpp
@@ -320,19 +320,6 @@ namespace Slang
                 getSink()->diagnose(typeExp.exp, Diagnostics::cannotDefinePtrTypeToManagedResource);
             }
         }
-        
-        // Differentiable type checking.
-        // TODO: This can be super slow. Switch to caching the result asap.
-        if (this->m_parentFunc && 
-            this->m_parentFunc->findModifier<ForwardDifferentiableAttribute>())
-        {
-            auto diffTypeContext = this->getShared()->innermostDiffTypeContext();
-            if (auto subtypeWitness = as<SubtypeWitness>(
-                tryGetInterfaceConformanceWitness(result, getASTBuilder()->getDifferentiableInterface())))
-            {
-                diffTypeContext->registerDifferentiableType((DeclRefType*)result, subtypeWitness);
-            }
-        }
 
         *outProperType = result;
         return true;