rep_derive
#[ensure_rep]
A macro that inserts a call to check_rep at the start of given method
check_rep