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

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

noxer 72 days ago | 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 72 days ago [–]

Via an unreliable, linker-based hack.

rowanG077 72 days ago | [–]

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.

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact