Remove #[legacy_modes] #4710

Activity

1. pcwalton commented on Jun 12, 2013

   

   pcwalton

   on Jun 12, 2013

   Contributor

   More actions

   Fixed!
2. pcwalton

   closed this as completedon Jun 12, 2013
3. RalfJung

   added a commit that references this issue on Nov 30, 2025

   Merge pull request rust-lang#4710 from royAmmerschuber/feature/tree-v…

   ...

   1b683cd
4. makai410

   added a commit that references this issue on Dec 10, 2025

   Merge pull request rust-lang#4710 from royAmmerschuber/feature/tree-v…

   ...

   3253951
5. U007D

   added a commit that references this issue on Aug 21, 2026

   Merge rust-lang#4710

   ...

   2f6ab77
6. DiuDiu777

   added a commit that references this issue on Aug 29, 2026

   Allow zero-sized offsets on dangling pointers in ptr contracts (model…

   ...

   7b8184c