aboutsummaryrefslogtreecommitdiff
path: root/tests/disabled/macro/run/toolbox_typecheck_macrosdisabled.scala
diff options
context:
space:
mode:
Diffstat (limited to 'tests/disabled/macro/run/toolbox_typecheck_macrosdisabled.scala')
-rw-r--r--tests/disabled/macro/run/toolbox_typecheck_macrosdisabled.scala26
1 files changed, 26 insertions, 0 deletions
diff --git a/tests/disabled/macro/run/toolbox_typecheck_macrosdisabled.scala b/tests/disabled/macro/run/toolbox_typecheck_macrosdisabled.scala
new file mode 100644
index 000000000..2aa0202e7
--- /dev/null
+++ b/tests/disabled/macro/run/toolbox_typecheck_macrosdisabled.scala
@@ -0,0 +1,26 @@
+import scala.reflect.runtime.universe._
+import scala.reflect.runtime.{universe => ru}
+import scala.reflect.runtime.{currentMirror => cm}
+import scala.tools.reflect.ToolBox
+import internal._
+
+// Note: If you're looking at this test and you don't know why, you may
+// have accidentally changed the way type tags reify. If so, validate
+// that your changes are accurate and update the check file.
+
+object Test extends dotty.runtime.LegacyApp {
+ val toolbox = cm.mkToolBox()
+ val rupkg = cm.staticModule("scala.reflect.runtime.package")
+ val rusym = reificationSupport.selectTerm(rupkg, "universe")
+ val NullaryMethodType(rutpe) = rusym.info
+ val ru = reificationSupport.newFreeTerm("ru", scala.reflect.runtime.universe)
+ reificationSupport.setInfo(ru, rutpe)
+
+ val tree1 = Apply(Select(Ident(ru), TermName("reify")), List(Literal(Constant(2))))
+ val ttree1 = toolbox.typecheck(tree1, withMacrosDisabled = false)
+ println(ttree1)
+
+ val tree2 = Apply(Select(Ident(ru), TermName("reify")), List(Literal(Constant(2))))
+ val ttree2 = toolbox.typecheck(tree2, withMacrosDisabled = true)
+ println(ttree2)
+}