https://issues.dlang.org/show_bug.cgi?id=23678
RazvanN <razvan.nitu1...@gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED CC| |razvan.nitu1...@gmail.com Resolution|--- |INVALID --- Comment #1 from RazvanN <razvan.nitu1...@gmail.com> --- The contract is dropped (i.e. it does not appear in the executable file), but that does not mean it is not analyzed. You are getting an error because your code does not pass semantic analysis. We cannot implement this because then you might have semantically incorrect code in your contract and the compiler needs to report it regardless of the fact that it does not get generated in the object code. --