{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":");"}]}
                        );
                            self.infcx.inner.borrow_mut().type_variables().probe(vid).is_unknown()
                        ty