summaryrefslogtreecommitdiff
path: root/test/files/run/macro-vampire-false-warning/Test_2.scala
diff options
context:
space:
mode:
Diffstat (limited to 'test/files/run/macro-vampire-false-warning/Test_2.scala')
-rw-r--r--test/files/run/macro-vampire-false-warning/Test_2.scala6
1 files changed, 6 insertions, 0 deletions
diff --git a/test/files/run/macro-vampire-false-warning/Test_2.scala b/test/files/run/macro-vampire-false-warning/Test_2.scala
new file mode 100644
index 0000000000..6e44b68635
--- /dev/null
+++ b/test/files/run/macro-vampire-false-warning/Test_2.scala
@@ -0,0 +1,6 @@
+object Test extends App {
+ val foo = mkObject("x" -> "2", "y" -> 3)
+ println(foo.x)
+ println(foo.y)
+ // println(foo.z) => will result in a compilation error
+} \ No newline at end of file