Detect missing @init function on compilation

[vsubhuman]

Is it possible to detect the absence of the @init() function at the compilation stage? Because for now, an attempt to deploy a contract with no @init just causes the transaction to never be processed with no response returned at all (but I'm not sure it's not an IOHK testnet issue). But having this error on the compilation stage would greatly reduce the feedback time.

[SebastienGllmt]

This is a subset of an issue I've talked about before which is there is no way to debug why a contract is not well-formed. These kinds of error should

A) Provide an error message
B) Be checked after compiling on Remix