List borrowed variables with Macro in the current scope

Question

I want to write a macro that transforms this code

let a = ..;
{
  let b = ..;
  my_macro!({
    let d = a+b;
    a = d;
  });

  let c = ..;
  ..
}