Closure capture calculated incorrectly for non-binding match

[Veykril]

The following closures capture x by value both
playground

fn main() {
    let c: fn() = {
        let x = 1;
        || {
            let _ = x;
        }
    };
    let c: fn() = {
        let x = 1;
        || match x {
            _ => println!("Hello World!"),
        }
    };
}

yet we recognize the first as non capturing and the second as capturing by ref.

[HKalbasi]

This is really strange: if I print the size of closures, it shows 0 for both of them (playground)

[Veykril]

Ah, I guess the coercion logic sees the captures "by syntax" rather by semantics? Nevertheless there is an error on our side since the second one captures for us when it shouldn't then (though i suppose that comes from our match checking logic which is slightly flawed in general I think?)

[HKalbasi]

Ah, I guess the coercion logic sees the captures "by syntax" rather by semantics?

Makes sense.

though i suppose that comes from our match checking logic which is slightly flawed in general I think?

No IIRC I didn't implement the match part of the capturing logic at all :)