{"ast_node_type":"variable","tokens":[{"end":47,"kind":"keyword","start":0,"text":"let"}]}
                let polarity = match polarity {
                let (defaultness, defaultness_span) = self.lower_defaultness(*defaultness, has_val);
                    ImplPolarity::Positive => ImplPolarity::Positive,