{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":");"}]}
                );
                    hir_ty.span,
                self.register_trait_ascription_bounds(bounds, hir_ty.hir_id, hir_ty.span);