Как проверить, является ли WeakTypeTag или Type конкретным типом?

Question

Как я могу проверить, является ли WeakTypeTag или Type представляет собой бетонный тип? Это было бы особенно полезно в макросах, где я мог бы использовать его, чтобы поднять ошибку компиляции, когда тип, предоставленный пользователем, не конкретны:

def macroMethod[T]: Unit = macro macroMethod_impl[T] 

def macroMethod_impl[T: c.WeakTypeTag](c: Context): c.Expr[Unit] = { 
    import c.universe._ 

    def isConcrete(tpe: Type) = ??? 

    if(!isConcrete(weakTypeOf[T])) { 
    c.error(c.enclosingPosition, "You must provide concrete type.") 
    } 

    c.literalUnit 
} 

Answer 1

Я думаю, что это будет делать трюк:

def isConcrete(tpe: Type) = !tpe.typeSymbol.asType.isAbstractType 

затем

scala> macroMethod[Int] 

scala> class C[T] { macroMethod[T] } 
<console>:10: error: You must provide concrete type. 
     class C[T] { macroMethod[T] }