{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"match"}]}
        match self.inner.borrow_mut().type_variables().probe(vid) {
            TypeVariableValue::Known { value } => Ok(value),