`super let` is allowed in nonsensical positions

[theemathas]

I tried this code:

#![feature(super_let)]

fn f() {
    super let a = 1;
}

fn g() {
    loop {
        super let b = 2;
    }
}

fn h() {
    while {
        super let c = 3;
        false
    } {}
}

I expected all three functions to fail to compile, since super let is used in places that don't make sense. However, they compiled without errors. (As far as I can tell, these super let bindings behave exactly like normal let bindings.)

@rustbot labels +F-super_let

Meta

Reproducible on the playground with 1.89.0-nightly (2025-06-09 d13a431a6cc69cd65efe)

[theemathas]

Seems like this is already noted in #139112 under "Interesting result 4". Not sure if this issue should be closed or not.