tests/disabled/macro/run/macro-expand-override/Macros_Test_2.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

class B {
  def foo(x: String): Unit = macro Impls.fooBString
  def foo(x: Int): Unit = macro Impls.fooBInt
  def foo(x: Boolean): Unit = println("fooBBoolean")
}

class D extends B {
  //override def foo(x: String): Unit = println("fooDString") => method cannot override a macro
  override def foo(x: Int): Unit = macro Impls.fooDInt
}

class Z extends D {
  override def foo(x: String): Unit = macro Impls.fooZString
  override def foo(x: Boolean): Unit = println("fooZBoolean")
}

object Test extends dotty.runtime.LegacyApp {

  val dd: D = new D()
  dd.foo("42")
  dd.foo(42)
  dd.foo(true)

  val db: B = new D()
  db.foo("42")
  db.foo(42)
  db.foo(true)

  val zz: Z = new Z()
  zz.foo("42")
  zz.foo(42)
  zz.foo(true)

  val zd: D = new Z()
  zd.foo("42")
  zd.foo(42)
  zd.foo(true)

  val zb: B = new Z()
  zb.foo("42")
  zb.foo(42)
  zb.foo(true)
}