{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"//"}]}
        // Erase the regions from `ty` to get a global type. The
        // `Sized` bound in no way depends on precise regions, so this