{"ast_node_type":"function","tokens":[{"end":84,"kind":"keyword","start":0,"text":"pub(crate)"}]}
pub(crate) fn delete_workproduct_files(sess: &Session, work_product: &WorkProduct) {
/// Removes files for a given work product.
    for (_, path) in work_product.saved_files.items().into_sorted_stable_ord() {