-
Notifications
You must be signed in to change notification settings - Fork 12.9k
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.
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
vec::u3::is_ascii in auto-gen'd v0.3 docs, not in language #2959
Comments
You're right, |
it was never in |
I infer from the comments that the 0.3 docs are periodically re-generated via a current rustdoc, and thus this bug will go away when rustdoc is fixed. |
Not critical for 0.6; de-milestoning |
No longer relevant, can be closed. |
Indeed. I am no longer confident that my earlier assertion (from comment above) that the docs are re-generated is correct; but in any case, without a more concrete illustration of a direct bug in rust doc, it is hard to take action on this. Closing. |
vec tets: ensure pointer is still writeable Under Tree Borrows, a pointer can become read-only: still allowing reads but not permitting writes any more. So these tests that want to check that pointers remain valid need to do writes to ensure that pointers indeed remain fully valid.
…to use StableMIR (rust-lang#2959) We still need internal APIs to handle things like: - **FnAbi:** Support is pending this PR to be merged: rust-lang#119094 - **Filter non-function items:** Also pending a fix on the rust side: rust-lang#119135 - **Checking for reachable functions:** This is not needed in theory, but std lib build fails since it unncovers an existing issue in Kani with a function that was not previously included. I'll create an issue for that. It's unrelated to this change though. - **Function attribute handling** - **Span error** Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
http://dl.rust-lang.org/doc/0.3/core/vec_u8.html#function-is_ascii
There's a function here, seemingly malformed (takes a T, but is not a generic function), but more importantly, is not a part of Rust 0.3.
The text was updated successfully, but these errors were encountered: