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