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