add regression test for 15550

dlang · Jan 26, 2016 · e9c0e23 · e9c0e23
1 parent 3d385e4
commit e9c0e23
Show file tree

Hide file tree

Showing 2 changed files with 40 additions and 0 deletions.
diff --git a/test/compilable/test15550.d b/test/compilable/test15550.d
@@ -0,0 +1,13 @@
+struct Vector(T, int N)
+{
+    void opDispatch(string, U)(U)
+    {
+    }
+
+    void baz(string, U)(U)
+    {
+    }
+}
+
+static assert(!is(typeof(Vector!(int, 2)._isMatrix)));
+static assert(!is(typeof(Vector!(int, 2).baz!"_isMatrix")));
diff --git a/test/fail_compilation/fail15550.d b/test/fail_compilation/fail15550.d
@@ -0,0 +1,27 @@
+/*
+TEST_OUTPUT:
+---
+fail_compilation/fail15550.d(25): Error: expression (foo!int) has no type
+fail_compilation/fail15550.d(26): Error: expression (opDispatch!"_isMatrix") has no type
+fail_compilation/fail15550.d(27): Error: expression (baz!"_isMatrix") has no type
+---
+*/
+
+T foo(T, T2)(T2)
+{
+}
+
+struct Vector
+{
+    void opDispatch(string, U)(U)
+    {
+    }
+
+    void baz(string, U)(U)
+    {
+    }
+}
+
+alias T1 = typeof(foo!int);
+alias T2 = typeof(Vector._isMatrix);
+alias T3 = typeof(Vector.baz!"_isMatrix");