Checking whether native-image is fine with non-evaluated Lazy[TypeTag[A]] guards

LazyTypeTagGuardTest.scala

import scala.reflect.runtime.universe.TypeTag
import shapeless._

object LazyTypeTagGuardTest {

  case class Whatever()

  type X

  def f[A](xd: A)(implicit ev: Lazy[TypeTag[A]]) = ev.value.tpe.toString

  final def main(args: Array[String]): Unit = {
    lazy val test = f(Whatever())
    lazy val test2 = f(Array.empty[Int])
    // lazy val test3 = f[X](???) // does not compile: No TypeTag available for Test.X
    println("Hello world")
  }   
  
}