structInit creates a "non-exist" but typeable constructor

[kevinresol]

class Main{
	static function main() {
		$type(Foo.new);
	}
}

@:structInit
class Foo {
	@:optional var foo:Int;
}

src/Main.hx:3: characters 9-16 : Foo does not have a constructor
src/Main.hx:3: characters 9-16 : Warning : (foo : Null<Int>) -> Foo

[Simn]

We can change this to

src/Main.hx:3: characters 9-16 : Foo does not have a constructor
src/Main.hx:3: characters 9-16 : Warning : But if it did it would be
src/Main.hx:3: characters 9-16 : Warning : (foo : Null<Int>) -> Foo

[Simn]

The only thing I'm willing to change here is the "does not have" phrasing, because it's more about the fact that the generated constructor cannot be accessed explicitly.

The compiler tries to not completely die on every single error, so situations like this can easily occur with something like $type, and probably macros too.

[RealyUniqueName]

the generated constructor cannot be accessed explicitly.

But why?