Researchers built a tool to automatically write Rust code that passes safety checks — and proved it actually works

A team developed a method to automatically generate Rust code that satisfies the language's strict memory safety rules at compile time. This means developers may be able to stop hand-writing boilerplate code that manages ownership and borrowing — a tool could generate it correctly instead.

Rust is hard to write because the compiler enforces memory safety rules that most languages don't. You have to think about who owns data, who can read it, who can modify it, and for how long — and get it right before the code even runs. This tool takes those constraints and generates valid code automatically, which means the tedious part that slows down Rust adoption could eventually be handled by software. That matters because Rust is spreading into safety-critical systems where memory bugs cause real failures.