{"ast_node_type":"variable","tokens":[{"end":99,"kind":"keyword","start":0,"text":"let"}]}
        let self_ty = cx.ty_path(cx.path_ident(trait_span, Ident::with_dummy_span(kw::SelfUpper)));
        // let _: AssertParamIsCopy<Self>;
        super::assert_ty_bounds(