Contradicted by the Turing Halting Problem
Open
- Dominant language
- Rust
- Stars
- 1.2k
- Forks
- 20
- PR merge metrics
- No merged PRs in 30d
Description
Your project goal: "A Rust attribute macro to require that the compiler prove a function can't ever panic" cannot be achieved for any non-trivial function. This is computer science 101. Read more here: https://en.wikipedia.org/wiki/Halting_problem .
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.