Mistake on where attributes are allowed in StructExpr and more

[yizhepku]

According to the reference, only inner attributes are allowed in an StructExpr:

StructExprStruct :
   PathInExpression { InnerAttribute* (StructExprFields | StructBase)? }

However, this seems not to be the behaviour of rustc. rustc instead accepts only outer attributes for each field, but not inner attributes for the entire expression.

For example, this compiles in rustc:

struct S { x: i64, y: i64 }
fn main() {
    let s =  S { x: 1, #[deprecated] y: 2};
}

But not this:

struct S { x: i64, y: i64 }
fn main() {
    let s =  S { #![deprecated] x: 1, y: 2};
}

[yizhepku]

Same issue goes to TupleExpr and ArrayExpr.

[ehuss]

They were accepted syntactically, but that was recently removed in nightly in rust-lang/rust#83312. There is discussion in rust-lang/rust#84879 about reverting that change.