Demonstrates bugs in DisciplineFSuite

DisciplineBug.test.scala

//> using scala "3.7.3"
//> using test.dep org.typelevel::weaver-cats::0.10.1
//> using test.dep org.typelevel::weaver-discipline::0.10.1

import weaver.*
import weaver.discipline.*
import cats.effect.IO

object DisciplineBug extends SimpleIOSuite with DisciplineFSuite[IO] {

  // The DSL exposed in SimpleIOSuite isn't used because the test registration is overridden
  pureTest("This should run but isn't") {
    expect(1 == 2)
  }

  // The TestName filters are ignored by D
  checkAll("This should not be run, but is".ignore)(_ =>
    IO.raiseError(new Error("This should not be run")))

}