Missing checks of inout/mutating captures

func run(_ body: @escaping () -> Void) { body() }


struct S {
    var a: Int = 3
    
    mutating func foo() {
        func _foo() {
            if a == 0 { return }
            a -= 1
            print(a)
            run(_foo)
        }
        _foo()
    }
}


var s = S()
s.foo()

error: nested function with an implicitly captured inout parameter can only be used as a non-escaping argument
             run(_foo)
             ^