{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"//"}]}
            // no need to create a real location table for the promoted, it is not used
            move_data: &move_data,
            location_table: &location_table,