RFC: Attribute to distinguish safety preconditions from panic freedom#3893

Draft

tautschnig wants to merge 5 commits intomodel-checking:mainfrom

tautschnig:rfc-may-panic

Commits on Feb 17, 2025

RFC: Attribute to distinguish safety preconditions from panic freedom
tautschnig
committed

Commits on Feb 18, 2025

Apply suggestions from code review

tautschnig
and
Carolyn Zech
authored
Merge remote-tracking branch 'origin/main' into rfc-may-panic
tautschnig
committed
Fix item 2
tautschnig
committed
Update rfc/src/rfcs/0014-may-panic-if-attr.md

tautschnig
and
Carolyn Zech
authored