bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

Visit patterns' literal expressions before binding new idents

Browse source
This commit is contained in:
Michael Goulet 2021-12-23 16:03:30 -08:00
parent 77497c74f9
commit b1529a680a
5 changed files with 50 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
compiler/rustc_resolve/src/late.rs
View file

@ -1603,10 +1603,13 @@ impl<'a: 'ast, 'b, 'ast> LateResolutionVisitor<'a, 'b, 'ast> {
pat_src: PatternSource,
bindings: &mut SmallVec<[(PatBoundCtx, FxHashSet<Ident>); 1]>,
) {
// We walk the pattern before declaring the pattern's inner bindings,
// so that we avoid resolving a literal expression to a binding defined
// by the pattern.
visit::walk_pat(self, pat);
self.resolve_pattern_inner(pat, pat_src, bindings);
// This has to happen *after* we determine which pat_idents are variants:
self.check_consistent_bindings_top(pat);
visit::walk_pat(self, pat);
}
/// Resolve bindings in a pattern. This is a helper to `resolve_pattern`.