{"ast_node_type":"variable","tokens":[{"end":89,"kind":"keyword","start":0,"text":"let"}]}
                let mut bindings = smallvec![(PatBoundCtx::Product, Default::default())];
                // This is basically a tweaked, inlined `resolve_pattern_top`.
                self.resolve_pattern(pat, PatternSource::Let, &mut bindings);