Enter your book access code

The curriculum, drills, tutor, and interviewer mode are for readers of Ace the Rust Interview. The code is printed in the Preface (Companion site access).

Don’t have the book yet? The landing page stays open — purchase unlocks this gym.

intermediate · order 54

What Miri would reject

unsafe-redesign-04Related book chapters: 4 (optional — this page is complete on its own)unsafemiri

Slug: unsafe-redesign-04 · Paired reading: Chapter 4

Prompt

Document (in comments) the dangling-pointer bug Miri catches, via fn dangling_demo_is_rejected_by_types(). Provide a SAFE alternative fn read_first(xs: &[i32]) -> Option<i32>. Do not include actual UB — tests must stay Miri-clean.