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