diff --git a/testing/Sentinel/Tests/ShouldSucceed/Issue406.adl b/testing/Sentinel/Tests/ShouldSucceed/Issue406.adl
new file mode 100644
index 0000000000..a930a363ae
--- /dev/null
+++ b/testing/Sentinel/Tests/ShouldSucceed/Issue406.adl
@@ -0,0 +1,6 @@
+CONTEXT Issue406a IN ENGLISH
+   INTERFACE Foo : I[A]
+   s :: A*B
+ENDCONTEXT
+
+