{"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":"));"}]}
            ));
                    .map(|principal| tcx.instantiate_bound_regions_with_erased(principal)),
            collect_alloc(tcx, alloc_id, output)