summaryrefslogtreecommitdiff
path: root/test/files/neg/t6123-explaintypes-macros.check
blob: ebcb8069d54186d0214eb45dc3f2d5eb9af999d8 (plain) (blame)
1
2
3
4
5
6
7
8
9
c.universe.Expr[Any]* <: c.universe.Expr[String]*?
false
BadMac_2.scala:6: error: macro implementation has wrong shape:
 required: (c: scala.reflect.macros.Context)(format: c.Expr[String], params: c.Expr[Any]*): c.Expr[Unit]
 found   : (c: scala.reflect.macros.Context)(format: c.Expr[String], params: c.Expr[String]*): c.Expr[Unit]
type mismatch for parameter params: c.Expr[Any]* does not conform to c.Expr[String]*
  def printf(format: String, params: Any*): Unit = macro printf_impl
      ^
one error found