ссылок на одну и ту же переменную в одном скоупе это уже UB, но вот на это https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=32c96c83a2cd5a31ebe2f28ba153b1b1 miri не ругается
так он не знает что в Ref делается
например вот так мири уже пропускакт: https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=8bfce503944f53595d26b0df60457eec
Обсуждают сегодня