{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"}"}]}
                } else {
                    Err(self.cyclic_term_error())
                    let probe = inner.type_variables().probe(vid);