{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":")"}]}
                )
                    ty::PlaceholderType { universe: next_universe, bound: bound_ty },
            },