{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"*v.origin.iter().next().unwrap(),"}]}
                *v.origin.iter().next().unwrap(),
            self.report_error(
                ResolutionError::VariableNotBoundInPattern(v, self.parent_scope),