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