из указателей, полученных из ссылок? Вот на этот код MIRI не ругается: https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=0442db4d1a37cf6f4e57e52da5450187
Насколько я понимаю, с точки зрения Stacked Borrows ссылки и указатели работают идентично
Это значит только то, что мири пока что тупит. В reference ясно сказано, что иметь две &mut ссылки на одну штуку - UB, даже если вторая не используется.
Тут убивается lifetime. Вот так будет и компилятор ругаться: https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=c97a140a8dbfe31a8788f0b97db6cdd8
Обсуждают сегодня