contract C {
  constructor() payable payable {}
}
// ----
// ParserError 9680: (37-44): State mutability already specified as "payable".