-
Notifications
You must be signed in to change notification settings - Fork 13.2k
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
improve resolve error messages #3027
Labels
A-resolve
Area: Name/path resolution done by `rustc_resolve` specifically
Comments
Sounds very similar to #3004. |
This: extern mod std;
use std::{json, rope, foobar, arc, arena};
use foobar::bazqux;
fn main() {} Now gives:
So I think this issue can be closed. |
RalfJung
pushed a commit
to RalfJung/rust
that referenced
this issue
Aug 17, 2023
Avoid unnecessary Vec resize. If `size > 0` current implementation will first create an empty vec and then push an element into it, which will cause a resize that can be easily avoided. It's obviously not a big deal, but this also gets rid of `mut` local variable.
jaisnan
pushed a commit
to jaisnan/rust-dev
that referenced
this issue
Jul 29, 2024
The current method for creating the modifies wrapper requires changing the `ensures` clause to have `_renamed` variables which are unsafe copies of the original function arguments. This causes issues with regards to some possible tests as in rust-lang#3239. This change removes the `_renamed` variables and instead simply changes the modifies clauses within the replace to unsafely dereference the pointer to modify the contents of it unsafely, condensing all instances of unsafe Rust into a single location. Resolves rust-lang#3239 Resolves rust-lang#3026 May affect rust-lang#3027. In my attempt to run this example with slight modification to fit the current implementation, I got the error `CBMC appears to have run out of memory. You may want to rerun your proof in an environment with additional memory or use stubbing to reduce the size of the code the verifier reasons about.` This suggests that the compilation is working appropriately but the test case is just too large for CBMC. By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses. Co-authored-by: Matias Scharager <mscharag@amazon.com>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
above error points to the wrong location and doesn't indicate the actual problem (which is foobar).
points to the right place, but does not say that that name is the problem (again foobar).
The text was updated successfully, but these errors were encountered: