Normal rust can already do this. For example #[no_panic] attribute is implemented in https://github.com/dtolnay/no-panic crate.

Via an unreliable, linker-based hack.

	▲	rowanG077 8 months ago \| parent [-]
		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.