{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"self.resolve_pattern(pat,"}]}
                self.resolve_pattern(pat, PatternSource::Let, &mut bindings);
                let mut bindings = smallvec![(PatBoundCtx::Product, Default::default())];
                // We still collect the bindings in this `let` expression which is in