test/files/run/toolbox_typecheck_macrosdisabled.check


1
2
3
4
5

{
  val $mr: mr.type = mr;
  $mr.Expr.apply[Int(2)]($mr.Literal.apply($mr.Constant.apply(2)))($mr.ConcreteTypeTag.apply[Int(2)]($mr.ConstantType.apply($mr.Constant.apply(2))))
}
mr.reify[Int](2)