Skip to content

#![register_{attribute,lint}_tool] #3808

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 14 commits into
base: master
Choose a base branch
from
Open

#![register_{attribute,lint}_tool] #3808

Changes from all commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
4976357
`#![register_{attribute,lint}_tool]`
jyn514 May 6, 2025
ac20296
initial comments
jyn514 May 6, 2025
e6b60e2
oops the second MSRV mention was duplicated and also in the wrong place
jyn514 May 6, 2025
ab93387
mention that #[coverage] could be a tool attribute
jyn514 May 6, 2025
d9df076
Specify cargo registration
jyn514 May 6, 2025
2f5c53f
fix typo
jyn514 May 6, 2025
8630ced
update summary
jyn514 May 6, 2025
f23ce79
rework name resolution semantics
jyn514 May 6, 2025
ff1e1b4
specify that the rustc tool namespace is reserved
jyn514 May 7, 2025
806ec4e
add `register_tool` as an alias
jyn514 May 9, 2025
89685a7
move all the cargo stuff to future possibilities
jyn514 May 9, 2025
885bdfb
mention attribute helpers as an extension
jyn514 May 9, 2025
94d8ff4
extend cargo future possibilities
jyn514 May 9, 2025
f1828a0
don't directly prohibit tools starting with rustc
jyn514 May 9, 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