{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"#[instrument(level"}]}
#[instrument(level = "debug", skip(tcx, impl_trait_ref))]
/// they hold.
fn compare_method_predicate_entailment<'tcx>(