The name pattern {_} doesn't work as expected

[sonmarcho]

The pattern alloc::vec::{_}::set_len is expected to match alloc::vec::Vec<T, ...>::set_len (when using the Rust name pattern matcher) but doesn't (note that alloc::vec::_::set_len does).

[Nadrieril]

the rust name matcher doesn't actually handle inherent impl blocks at all at the moment 😅

[sonmarcho]

Oh I see ^^
I'm surprised those are in the syntax at all for the moment: maybe we should (temporarily) panic if an impl block appears in a pattern after parsing?

[Nadrieril]

I can't distinguish impl blocks from trait impls because we allow {Trait<Self>} syntax

[sonmarcho]

What is the {Trait<Self>} syntax? (I'm not sure the Charon-ML name matcher allows the same)

[Nadrieril]

it's equivalent to {impl Trait for Self} (where Self is some type)