Skip to content

Instantly share code, notes, and snippets.

@pshirshov

pshirshov/how_to_ignore_kind_check.scala

Created July 22, 2019 22:57
Show Gist options
  • Save pshirshov/d8c8d2076d514dae93f65cc56bc05b6f to your computer and use it in GitHub Desktop.
Save pshirshov/d8c8d2076d514dae93f65cc56bc05b6f to your computer and use it in GitHub Desktop.
Download ZIP
Raw
how_to_ignore_kind_check.scala
trait Fake
def materialize1[T[_]]: LightTypeTag = macro TypeTagExampleImpl.makeTag[T[Fake]]
def makeTag[T: c.WeakTypeTag]: c.Expr[LightTypeTag] = {
import c._
val wtt = implicitly[WeakTypeTag[T]]
println(wtt)
???
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment