Fix isType/isTerm predicates for splices

Author: odersky

compiler/src/dotty/tools/dotc/ast/untpd.scala

@@ -69,7 +69,10 @@ object untpd extends Trees.Instance[Untyped] with UntypedTreeInfo {
 
   case class InfixOp(left: Tree, op: Ident, right: Tree) extends OpTree
   case class PostfixOp(od: Tree, op: Ident) extends OpTree
-  case class PrefixOp(op: Ident, od: Tree) extends OpTree
+  case class PrefixOp(op: Ident, od: Tree) extends OpTree {
+    override def isType = op.isType
+    override def isTerm = op.isTerm
+  }
   case class Parens(t: Tree) extends ProxyTree {
     def forwardTo = t
   }

compiler/src/dotty/tools/dotc/parsing/Parsers.scala

@@ -877,7 +877,7 @@ object Parsers {
         typeBounds().withPos(Position(start, in.lastOffset, start))
       }
       else if (isIdent && nme.raw.isUnary(in.name))
-        atPos(in.offset) { PrefixOp(termIdent(), path(thisOK = true)) }
+        atPos(in.offset) { PrefixOp(typeIdent(), path(thisOK = true)) }
       else path(thisOK = false, handleSingletonType) match {
         case r @ SingletonTypeTree(_) => r
         case r => convertToTypeId(r)