assertDoesNotCompile not works when creating mixins

[goshacodes]

scala version: 3.3.0

scalatest version: 3.2.16

class AsyncSyncMixinTest extends AnyFlatSpec {

  trait A { this: C => }

  trait B { this: D => }

  trait C

  trait D


  "abc" should "bcd" in {
    assertDoesNotCompile("new A with D")
  }

  "bcd" should "abc" in {
    assertDoesNotCompile("new B with C")
  }

}
  

ER: tests yield success
AR: tests fail

[cheeseng]

@goshacodes The scala.compiletime.testing.typeChecks does not seems to catch this, @liufengyun I wonder if this is covered under typer phase and expected to work?

[goshacodes]

Forgot to mention, this thing worked with scala 2 macro

[liufengyun]

As far as I know, testing.typeChecks does not run the compiler phase refChecks. It can be verified by running the following command:

scalac -d out -Ystop-after:posttyper examples/Error.scala

For the following code:

// Error.scala
class AsyncSyncMixinTest {

  trait A { this: C => }

  trait B { this: D => }

  trait C

  trait D


  new A with D

  new B with C
}

But maybe it should run the phase refChecks. I'd suggest report it as an issue here: https://github.com/lampepfl/dotty/issues

[cheeseng]

@goshacodes @liufengyun I think it is probably related to this ticket reported in Dotty earlier:

#2252

I have added a comment in the ticket to link here.