2 files changed, 11 insertions, 0 deletions
diff --git a/tests/iii/template-deduction-errors/case.json b/tests/iii/template-deduction-errors/case.json
new file mode 100644
index 0000000..f60833d
--- /dev/null
+++ b/tests/iii/template-deduction-errors/case.json
@@ -0,0 +1 @@
+{"errors": [{"reason": "No matching overload for Max", "line": 9}, {"reason": "No matching overload for Undeducible", "line": 10}]}
diff --git a/tests/iii/template-deduction-errors/program.cps b/tests/iii/template-deduction-errors/program.cps
new file mode 100644
index 0000000..7ec1584
--- /dev/null
+++ b/tests/iii/template-deduction-errors/program.cps
@@ -0,0 +1,10 @@
+TEMPLATE <T>
+FUNCTION Max(A : T, B : T) RETURNS T
+    RETURN A
+ENDFUNCTION
+TEMPLATE <T>
+FUNCTION Undeducible() RETURNS T
+    RETURN 0
+ENDFUNCTION
+OUTPUT Max(1, 2.5)
+OUTPUT Undeducible()