What is a reborrow and how does it influence the code the compiler generates?

Question

Part of the assert_eq macro code is:

    ($left:expr, $right:expr, $($arg:tt)+) => ({
        match (&