Type checker ignores wrong number of constructor arguments

class X {}
@groovy.transform.CompileStatic
def foo() {
  new X("f")
}
println foo()

This code compiles and runs in static compilation, even though the type checker should have complained. In normal Groovy this fails at runtime, as does if the type checker only is used.