{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":")"}]}
    ) -> ty::TyVid {
        origin: TypeVariableOrigin,
        let eq_key = self.eq_relations().new_key(TypeVariableValue::Unknown { universe });