Normal rust can already do this. For example #[no_panic] attribute is implemente... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		noxer on April 22, 2025 \| parent \| context \| favorite \| on: Verus: Verified Rust for low-level systems code Normal rust can already do this. For example #[no_panic] attribute is implemented in https://github.com/dtolnay/no-panic crate.

GolDDranks on April 22, 2025 [–]

Via an unreliable, linker-based hack.

rowanG077 on April 22, 2025 | [–]

On one hand you are right. On the other hand knowing it can't panic because the code is literally not there is a very strong guarantee.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact