Missing name resolution error for environment captures in inner functions

I tried this code:

fn foobi(a: i32) {
    fn boofi() -> i32 {
        a
    }
}

I expected to see this happen:

error[E0434]: can't capture dynamic environment in a fn item
 --> test.rs:3:9
  |
3 |         a
  |         ^
  |
  = help: use the `|| { ... }` closure form instead

Instead, this happened: no error

This is invalid, since the name resolution rules state that only closures are able to access their outer environment, not inner functions.

Meta

• What version of Rust GCC were you using, git sha if possible.

e8d00353017

Start by compiling the provided Rust snippet with gccrs and compare its diagnostics with the expected E0434 error. Trace name resolution for the inner fn boofi and its reference to a; done means the invalid environment capture is diagnosed consistently with the shown message.