{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"//"}]}
            // inherits these predicates as assumptions.
            // parent predicates would hold, and also so that the param-env
            let identity_args = ty::GenericArgs::identity_for_item(tcx, def_id);