Allow TypeExp during CTFE execution

Author: FeepingCreature

src/dmd/ctfeexpr.d

@@ -1835,6 +1835,8 @@ bool isCtfeValueValid(Expression newval)
         return true; //((StructLiteralExp *)newval)->ownedByCtfe;
     if (newval.op == TOK.classReference)
         return true;
+    if (newval.op == TOK.type)
+        return true;
     if (newval.op == TOK.vector)
         return true; // vector literal
     if (newval.op == TOK.function_)

src/dmd/dinterpret.d

@@ -2085,7 +2085,7 @@ public:
                 }
                 return;
             }
-            assert(result.op == TOK.structLiteral || result.op == TOK.classReference);
+            assert(result.op == TOK.structLiteral || result.op == TOK.classReference || result.op == TOK.type);
             return;
         }
         e.error("value of `this` is not known at compile time");
@@ -5071,7 +5071,8 @@ public:
                 result = CTFEExp.cantexp;
                 return;
             }
-            assert(pthis.op == TOK.structLiteral || pthis.op == TOK.classReference);
+
+            assert(pthis.op == TOK.structLiteral || pthis.op == TOK.classReference || pthis.op == TOK.type);
 
             if (fd.isVirtual() && !e.directcall)
             {

test/fail_compilation/fail4206.d

@@ -1,7 +1,7 @@
 /*
 TEST_OUTPUT:
 ---
-fail_compilation/fail4206.d(9): Error: cannot interpret `s` at compile time
+fail_compilation/fail4206.d(9): Error: initializer must be an expression, not `s`
 ---
 */
 

test/fail_compilation/ice11919.d

@@ -1,7 +1,7 @@
 /*
 TEST_OUTPUT:
 ---
-fail_compilation/ice11919.d(17): Error: cannot interpret `foo` at compile time
+fail_compilation/ice11919.d(17): Error: initializer must be an expression, not `foo`
 fail_compilation/imports/a11919.d(4): Error: template instance `a11919.doBar!(Foo).doBar.zoo!(t)` error instantiating
 fail_compilation/imports/a11919.d(11):        instantiated from here: `doBar!(Foo)`
 fail_compilation/ice11919.d(25):        instantiated from here: `doBar!(Bar)`

test/fail_compilation/ice12362.d

@@ -1,7 +1,7 @@
 /*
 TEST_OUTPUT:
 ---
-fail_compilation/ice12362.d(12): Error: cannot interpret `foo` at compile time
+fail_compilation/ice12362.d(12): Error: initializer must be an expression, not `foo`
 ---
 */