Attempt to fix #5230. Review by burmako.

git-svn-id: http://lampsvn.epfl.ch/svn-repos/scala/scala/trunk@26085 5e8d7ff9-d8ef-0310-90f0-a4852d11357a

src/compiler/scala/tools/nsc/transform/LiftCode.scala

@@ -472,8 +472,10 @@ abstract class LiftCode extends Transform with TypingTransformers {
         reifyFree(tree)
       case Ident(_) if !(boundSyms contains tree.symbol) =>
         reifyFree(tree)
-      case TypeTree() if (tree.tpe != null) =>
-        mirrorCall("TypeTree", reifyType(tree.tpe))
+      case tt: TypeTree if (tt.tpe != null) =>
+        if (!(boundSyms exists (tt.tpe contains _))) mirrorCall("TypeTree", reifyType(tt.tpe))
+        else if (tt.original != null) reify(tt.original)
+        else TypeTree()
       case _ =>
         if (tree.isDef)
           boundSyms += tree.symbol