Macro add_copy_requirement 

macro_rules! add_copy_requirement {
    ($name:ident, $field:ident, $set:ident, $Key:ty) => { ... };
}