Skip to content

compiletime.testing.typeChecks does not catch errors from inline expansion #11630

Closed
@jodersky

Description

@jodersky

Compiler version

3.0.0-RC1

Minimized code

inline def failme() = compiletime.error("fail")

@main def run() = {
  assert(!compiletime.testing.typeChecks("failme()"))
}

Output

The assertion fails at runtime, since typeChecks returns true.

Expectation

typeChecks should return false

Note

Under M3, the above code works as expected.

Metadata

Metadata

Labels

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions