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 49 commits into
base: master
Choose a base branch
from
+776 −0
Open

RFC: Safety Tags #3842

Changes from 33 commits
Commits
Show all changes
49 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
12c7f89
review: request Lang team to reserve `safety` namespace
zjp-CN Aug 23, 2025
b95cb59
syntax: only accepy `()` delemiter around tags
zjp-CN Aug 23, 2025
e3d43ae
`checked` is lenient in diagnostics by default; upgrade in cargo check
zjp-CN Aug 23, 2025
93e48b9
tag styles: visually group tags; naming convention
zjp-CN Aug 23, 2025
d4d0679
rephrase team approvals
zjp-CN Aug 24, 2025
4c8a256
entity-reference attribute candidates due to `ref` being a keyword
zjp-CN Aug 24, 2025
23f8942
tag: `snake_case` naming convention and render to `Snake case`
zjp-CN Aug 24, 2025
66eda21
future: `#[safety::batch_checked]` Shares Tag Discharging
zjp-CN Aug 24, 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