1 files changed, 35 insertions, 0 deletions
diff --git a/tests/autodiff/self-differential-type-equality-constraint.slang b/tests/autodiff/self-differential-type-equality-constraint.slang
new file mode 100644
index 000000000..0baaa07d6
--- /dev/null
+++ b/tests/autodiff/self-differential-type-equality-constraint.slang
@@ -0,0 +1,35 @@
+//TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=BUFFER):-slang -compute -shaderobj -output-using-type
+//TEST(compute, vulkan):COMPARE_COMPUTE_EX(filecheck-buffer=BUFFER):-vk -compute -shaderobj -output-using-type
+//TEST(compute):COMPARE_COMPUTE_EX(filecheck-buffer=BUFFER):-cuda -compute -shaderobj -output-using-type
+
+interface IV : IDifferentiablePtrType{
+	int get();
+}
+
+struct V : IV
+{
+	typealias Differential = This;
+
+	int get()
+	{
+		return 12;
+	}
+}
+
+int g<T:IV>(DifferentialPtrPair<T> obj)
+	where T.Differential == T
+{
+	return obj.d.get();
+}
+
+//TEST_INPUT:ubuffer(data=[0], stride=4):out,name=outputBuffer
+RWStructuredBuffer<int> outputBuffer;
+[shader("compute")]
+void computeMain()
+{
+	V v = {};
+	DifferentialPtrPair<V> p = {v, v};
+
+	// BUFFER: 12
+	outputBuffer[0] = g(p);
+}