Доги, а ты бы индукцию или макросы выбрал?

Я всегда за индукцию, если на ней можно сделать. Макросы - это крайний случай, когда всё остальное уже не работает.

Помогите с синтаксисом внутри макроса.
У меня есть args: List<Value<'a>> и мне часто нужно делать с ним следующую операцию: вытаскивать N первых элементов, раскладывать их по отдельным переменным, проверять, что элементов не осталось, и, опционально, вытаскивать внутреннее значение.
Исходно я думал о таком синтаксисе:

parse_args!(let mut arg1, arg2: Integer = args);

(первый аргумент останется Value<'a>, из второго будет вытащено внутреннее значение)
но у меня это макросом распарсить не удаётся. У кого-нибудь есть идеи какой нормальный синтаксис тут можно сделать?

Не то? https://play.rust-lang.org/?version=nightly&mode=debug&edition=2018&gist=336e21e303c980f3e27c7f442832925c

mut не сработает