made some tests green

compiler/semexprs.nim

@@ -40,7 +40,8 @@ proc semExprWithType(c: PContext, n: PNode, flags: TExprFlags = {}): PNode =
     # do not produce another redundant error message:
     #raiseRecoverableError("")
     result = errorNode(c, n)
-  if isEmptyType(result.typ):
+  if result.typ == nil:
+    # we cannot check for 'void' in macros ...
     LocalError(n.info, errExprXHasNoType, 
                renderTree(result, {renderNoComments}))
     result.typ = errorType(c)

compiler/semstmts.nim

@@ -89,7 +89,8 @@ proc semDestructorCheck(c: PContext, n: PNode, flags: TExprFlags) {.inline.} =
     if instantiateDestructor(c, n.typ):
       LocalError(n.info, errGenerated,
         "usage of a type with a destructor in a non destructible context")
-  if efDetermineType notin flags and n.typ.kind == tyTypeDesc:
+  if efDetermineType notin flags and n.typ.kind == tyTypeDesc and 
+      c.p.owner.kind notin {skTemplate, skMacro}:
     localError(n.info, errGenerated, "value expected, but got a type")
 
 proc newDeref(n: PNode): PNode {.inline.} =  

compiler/semtypes.nim

@@ -792,7 +792,7 @@ proc semGeneric(c: PContext, n: PNode, s: PSym, prev: PType): PType =
       result = instGenericContainer(c, n, result)
 
 proc semTypeExpr(c: PContext, n: PNode): PType =
-  var n = semExprWithType(c, n)
+  var n = semExprWithType(c, n, {efDetermineType})
   if n.kind == nkSym and n.sym.kind == skType:
     result = n.sym.typ
   else: