alloca() みたいにスタック上にメモリを確保するんならその寿命も解放すべきタイミングも明らかだよな？別にRustはスタック上にメモリを確保するんではないけどさ？

Rustでは解析は「ない」のではなく「ある
」。解析が「ある」ので「スタック上でないにもかかわらず」「スタック上であるかのように明らか」というのはまず想像がつく？