{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"self.inner.borrow_mut().int_unification_table().inlined_probe_value(v).is_known()"}]}
                self.inner.borrow_mut().int_unification_table().inlined_probe_value(v).is_known()
                // `ty::Infer(_)`.
            }