{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"cov_mark::hit!(not_all_selected);"}]}
        cov_mark::hit!(not_all_selected);
    if trimmed_selected_range != trimmed_file_range {
        return None;