Skip to content

RFC: Safety Tags #3842

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 41 commits into
base: master
Choose a base branch
from
Open

RFC: Safety Tags #3842

Changes from 13 commits
Commits
Show all changes
41 commits
Select commit Hold shift + click to select a range
5d92060
RFC: safety-tags
zjp-CN Jul 31, 2025
7ccafe1
safety-tags: styling
zjp-CN Jul 31, 2025
c0495e3
safety-tags: add previous zulipchat link on Safety Property System
zjp-CN Jul 31, 2025
2004fd4
safety-tags: add tag discharge of unsafe encapsulation
zjp-CN Jul 31, 2025
0090419
safety-tags: typo
zjp-CN Jul 31, 2025
4b6bdb2
safety-tags: styling
zjp-CN Jul 31, 2025
567b998
safety-tags: fix link
zjp-CN Aug 1, 2025
e9ec420
safety-tags: clarify semver rules
zjp-CN Aug 1, 2025
3da20c9
safety-tags: #[ref] needs clippy reporting
zjp-CN Aug 1, 2025
719342e
safety-tags: #![clippy::safety] => #![clippy::safety::use]
zjp-CN Aug 1, 2025
421ea8d
safety-tags: fix tag in loop snippet
zjp-CN Aug 1, 2025
a0294a8
safety-tags: clippy::safety::use => clippy::safety::r#use
zjp-CN Aug 1, 2025
39dec42
Update text/0000-safety-tags.md
zjp-CN Aug 1, 2025
e2e5a11
safety-tags: Should Tags Take Arguments?
zjp-CN Aug 1, 2025
80cf23d
safety-tags: rephrase motivations
zjp-CN Aug 1, 2025
392d5fc
safety-tags: replace clippy namespace with safety namesapce
zjp-CN Aug 2, 2025
88c3525
safety-tags: alternative named argument syntax
zjp-CN Aug 2, 2025
731a5ba
safety-tag: Rationale for the Proposed Implementation
zjp-CN Aug 2, 2025
39b17e2
safety-tags: teams support for this RFC
zjp-CN Aug 2, 2025
2130878
safety-tags: Why Not Structured Safety Comments?
zjp-CN Aug 2, 2025
b077573
safety-tags: Encapsulate Declaration with define_safety_tag!
zjp-CN Aug 2, 2025
d906447
safety-tags: minor clarification
zjp-CN Aug 3, 2025
078d22c
safety-tags: summarize safety attributes with 💡
zjp-CN Aug 3, 2025
6f9577d
safety-tags: explain how safety::checked is validated on unsafe opera…
zjp-CN Aug 3, 2025
7e0daff
safety-tags: minor adjustment
zjp-CN Aug 3, 2025
cb7dbd7
safety-tags: semantic granularity with future entity-reference
zjp-CN Aug 3, 2025
ad2d8d7
safety-tags: minor fixes
zjp-CN Aug 3, 2025
35aa734
safety-tags: clarify #[ref] support from clippy and RA
zjp-CN Aug 1, 2025
82a9c2c
remove safety::import; named arguments in safety::{requires,checked}
zjp-CN Aug 4, 2025
75f85f3
add "Tagging More Unsafe Operations"
zjp-CN Aug 4, 2025
2711e17
minor fixes
zjp-CN Aug 4, 2025
33826b1
force description in tag definitions; fix `:` by `=`
zjp-CN Aug 5, 2025
3aa44b4
add @deprecated disgnostics; major change to add or remove tags
zjp-CN Aug 5, 2025
27a7b0d
minor fix
zjp-CN Aug 5, 2025
5dffa30
remove `@deprecated`; swap the order on Versioned invariants and Sema…
zjp-CN Aug 6, 2025
6d0d064
minor fix
zjp-CN Aug 6, 2025
c73221b
clarify semver on definition change
zjp-CN Aug 6, 2025
21e5431
Auto Generate Safety Docs from Tags; multiple attrs on the same node
zjp-CN Aug 6, 2025
2fb3d0c
minor fixes and clarification on semver
zjp-CN Aug 8, 2025
bfb6304
minor fixes: discharge of undefined tags warns by default
zjp-CN Aug 8, 2025
0405d98
minor fix
zjp-CN Aug 8, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading