sub foo($x,  ??$has_y, $y = 0) { ... }