{"ast_node_type":"function","tokens":[{"end":45,"kind":"keyword","start":0,"text":"fn"}]}
fn compare_method_predicate_entailment<'tcx>(
#[instrument(level = "debug", skip(tcx, impl_trait_ref))]
    tcx: TyCtxt<'tcx>,