{"ast_node_type":"variable","tokens":[{"end":81,"kind":"keyword","start":0,"text":"let"}]}
        let mut bindings = smallvec![(PatBoundCtx::Product, Default::default())];
        // Resolve and apply bindings first so diagnostics can see if they're used in types.
        for (pat, _) in inputs.clone() {