From 086702d8a74d6642622c6b5bb3524bd6d9abbf7e Mon Sep 17 00:00:00 2001 From: Eugene Burmako Date: Fri, 18 Oct 2013 22:12:16 +0200 Subject: SI-7776 post-erasure signature clashes are now macro-aware "double definition: macro this and method that have same type after erasure" This error doesn't make sense when macros are involved, because macros expand at compile-time, where we're not affected by erasure. Moreover, macros produce no bytecode, which means that we're safe from VerifyErrors. --- test/files/pos/t7776.check | 0 test/files/pos/t7776.scala | 20 ++++++++++++++++++++ 2 files changed, 20 insertions(+) create mode 100644 test/files/pos/t7776.check create mode 100644 test/files/pos/t7776.scala (limited to 'test/files') diff --git a/test/files/pos/t7776.check b/test/files/pos/t7776.check new file mode 100644 index 0000000000..e69de29bb2 diff --git a/test/files/pos/t7776.scala b/test/files/pos/t7776.scala new file mode 100644 index 0000000000..e0584b70e2 --- /dev/null +++ b/test/files/pos/t7776.scala @@ -0,0 +1,20 @@ +import scala.language.experimental.macros +import scala.reflect.macros.Context + +class MacroErasure { + def app(f: Any => Any, x: Any): Any = macro MacroErasure.appMacro + def app[A](f: A => Any, x: Any): Any = macro MacroErasure.appMacroA[A] +} + +object MacroErasure { + def appMacro(c: Context)( + f: c.Expr[Any => Any], x: c.Expr[Any]): c.Expr[Any] = { + import c.universe._ + c.Expr(q"$f($x)") + } + def appMacroA[A](c: Context)(f: c.Expr[A => Any], x: c.Expr[Any])( + implicit tt: c.WeakTypeTag[A]): c.Expr[Any] = { + import c.universe._ + c.Expr(q"$f[${tt.tpe}]($x)") + } +} \ No newline at end of file -- cgit v1.2.3