path: root/test/files/pos/t6047.scala

import scala.reflect.macros.blackbox.Context
import java.io.InputStream

object Macros {
   def unpack[A](input: InputStream): A = macro unpack_impl[A]

   def unpack_impl[A: c.WeakTypeTag](c: Context)(input: c.Expr[InputStream]): c.Expr[A] = {
     import c.universe._

     def unpackcode(tpe: c.Type): c.Expr[_] = {
       if (tpe <:< implicitly[c.WeakTypeTag[Traversable[_]]].tpe) {

       }
       ???
     }

     unpackcode(implicitly[c.WeakTypeTag[A]].tpe)
     ???
   }
 }