Closed
Description
"may not" has two possible meanings:
- A command: "You may not stay up past your bedtime."
- A fact that's only sometimes true: "Some cities may not have bike lanes."
In some cases, the meaning is ambiguous: "Some cars may not have snow
tires." (do the cars happen to not have snow tires, or is it
physically impossible for them to have snow tires?)
It would be better to change places where the standard library uses the "description of
fact" meaning to say "might not" instead, and change the "command" meaning to "must not".
You can find places where "may not" is used like so:
fd '.*' library/ | rg -v 'LICENCE|backtrace|stdarch' | xargs rg --glob '!library/backtrace/crates/backtrace-sys/**' 'may not'
Metadata
Metadata
Assignees
Labels
Area: Documentation for any part of the project, including the compiler, standard library, and toolsCall for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.Call for participation: Help is requested to fix this issue.Call for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.
Activity
jessehorne commentedon Mar 28, 2021
@rustbot claim
amalik18 commentedon Jul 21, 2021
@rustbot claim
jyn514 commentedon Jul 21, 2021
@amalik18 FYI a lot of the changes were already done in #83614, you could start from there :)
amalik18 commentedon Jul 21, 2021
Oh......I completely forgot about that hahahah
amalik18 commentedon Jul 23, 2021
I'm trying to create a new branch but i'm getting a
ERROR: Permission to rust-lang/rust.git denied to amalik18.
Any pointers?jyn514 commentedon Jul 23, 2021
@amalik18 are you trying to download using SSH? Use HTTP instead:
git set-url origin https://github.com/rust-lang/rust.git
.amalik18 commentedon Jul 24, 2021
Yep using HTTPS. I even generated a public access token. Still getting the error:
jyn514 commentedon Jul 24, 2021
@amalik18 can you join the Zulip so I can help you debug this without spamming the issue tracker? https://rust-lang.zulipchat.com/
amalik18 commentedon Jul 27, 2021
#87445
amalik18 commentedon Jul 30, 2021
The PR has been merged. #87445 @jyn514 you can go ahead and close if you'd like.
jyn514 commentedon Jul 30, 2021
Thanks for working on this!