{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"TypeVariableValue::Unknown"}]}
                    TypeVariableValue::Unknown { .. } => Some(vid),
                match self.probe(vid) {
                    TypeVariableValue::Known { .. } => None,