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