Как языки программирования работают со стеком?

Пожалуйста, не рассказывайте в сотый раз про стопки тарелок. Я не могу найти ответ на вопрос: как достаются нужные данные из стека.

Например, как я узнал, простые данные в Rust хранятся в стеке. Вот пример кода:

fun main() {

let a: i32 = 1;

let b: i32 = 2;

let c: i32 = a + 1;

}

Каким образом для инициализации переменной С Rust достанет значение А, если оно закрыто сверху значением переменной B?

Предполагаемый ответ оставил в комментариях.