Closed
Description
Currently, users can write interop classes and call synthetic constructors and they will hit no checks. In the Wasm case, generative constructors are a pain point, so a synthetic constructor should be disallowed. Synthetic constructors should compile to the same code as factories with and without the @anonymous
annotation. We should check for invocations of synthetic constructors and disallow them and advise them to use non-synthetic constructors instead.
Related: