contract C {
constructor();
}
// ----
// TypeError 5700: (14-28): Constructor must be implemented if declared.