You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I expect it parses as <invalid>: u8, <invalid>: u8 and it might lower to HIR as _: u8, _: u8 although nothing should care at that point about the argument list.
However, resolve running on AST, it has to treat <invalid> (the empty identifier) as _.
Improvements to pattern resolution + some refactoring
Continuation of #33929
First commit is a careful rewrite of `resolve_pattern`, pattern path resolution and new binding creation logic is factored out in separate functions, some minor bugs are fixed. Also, `resolve_possibly_assoc_item` doesn't swallow modules now.
Later commits are refactorings, see the comment descriptions.
I intend to continue this work later with better support for `Def::Err` in patterns in post-resolve stages and cleanup of pattern resolution code in type checker.
Fixes#32086Fixes#34047 ([breaking-change])
Fixes#34074
cc @jseyfried
r? @eddyb
Reproduces on stable/beta/nightly.
The text was updated successfully, but these errors were encountered: