The error CompileError::ContractIdConstantNotAConstDecl is only used in contract_helpers.rs, and is only thrown if the typecheck of the CONTRACT_ID declaration fails. Since this declaration is generated by the compiler, this typecheck should never fail, and if it does it should be an internal compiler error instead.