{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"compare_type_predicate_entailment(tcx,"}]}
    compare_type_predicate_entailment(tcx, impl_ty, trait_ty, impl_trait_ref)?;
    check_region_bounds_on_impl_item(tcx, impl_ty, trait_ty, false)?;
    check_type_bounds(tcx, trait_ty, impl_ty, impl_trait_ref)