{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"self.inner.borrow_mut().float_unification_table().probe_value(v).is_known()"}]}
                self.inner.borrow_mut().float_unification_table().probe_value(v).is_known()
                // Not `inlined_probe_value(v)` because this call site is colder.
            }