Skip to content
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

Jump to bottom

Alias checker seems to get confused by lib/rope.rs #1144

Closed
marijnh opened this issue Nov 7, 2011 · 1 comment
Closed

Alias checker seems to get confused by lib/rope.rs #1144

marijnh opened this issue Nov 7, 2011 · 1 comment

Comments

@marijnh
Copy link
Contributor

marijnh commented Nov 7, 2011

At least, the warnings about copying it emits don't seem to make much sense.
@ghost ghost assigned marijnh Nov 7, 2011
@marijnh
Copy link
Contributor Author

marijnh commented Nov 7, 2011

The problem is that the scope state isn't threaded through the ast properly, causing an assignment in an earlier branch of an if/alt statement to invalidate a reference in the branches following it, even though they don't follow each other sequentially.

@brson brson mentioned this issue Nov 7, 2011
Closed
@marijnh marijnh removed their assignment Jun 16, 2014
bjorn3 added a commit to bjorn3/rust that referenced this issue Mar 5, 2021
@bjorn3
Merge pull request rust-lang#1144 from bjorn3/dynamic_module
86c5944 
Use dynamic dispatch for the inner Module
celinval added a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@celinval
Update copyright blob (rust-lang#1144)
41462e3 
* Update copyright check script

We are changing Kani's copyright from Amazon to "Kani Contributors"

* Update Kani copyright blob Amazon -> Kani Contributors

I used the following command to update the blob:

git ls-files | xargs -d "\n" -L 1 sed -i "0,/Copyright Amazon.com/{s/Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved./Copyright Kani Contributors/}"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@marijnh