parentheses optional in `structure`

Stream: general

[Eric Wieser]

I was surprised to find this is legal:

structure foo α (x : α) :=
(y : α)

structure bar x > 0 :=
(hlt : x < 10)

Is it an accident that this syntax is allowed for structure but seemingly forbidden for inductive?