{"ast_node_type":"function","tokens":[{"end":57,"kind":"keyword","start":0,"text":"fn"}]}
fn ensure_impl_predicates_are_implied_by_item_defn<'tcx>(
/// implied by the ADT being well formed.
    tcx: TyCtxt<'tcx>,