Function c2rust_refactor::mark_adjust::copy_marks

pub fn copy_marks(st: &CommandState, old: Symbol, new: Symbol)

copy_marks Command

Usage: copy_marks OLD_MARK NEW_MARK

Marks: reads OLD_MARK; sets NEW_MARK

For every node bearing OLD_MARK, also apply NEW_MARK.