Import lookup #196
Closed
Import lookup #196
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
* If an import was unused we would never print any errors for it. * We would keep the existing environment in scope when descending 'foo.bar' and would find 'bar' in the global environment if there was no 'bar' in 'foo'.
interfere with the import statements.
|
Pushed, thanks. Comments from IRC captured and emailed. |
kazcw
pushed a commit
to kazcw/rust
that referenced
this pull request
Oct 23, 2018
This is more idiomatic for no-std-compatible crates where imports are unconditionally rewritten to `core` and then only when necessary `std` is pulled in explicitly.
dlrobertson
pushed a commit
to dlrobertson/rust
that referenced
this pull request
Nov 29, 2018
Document "prevent unwinding into FFI"
rchaser53
pushed a commit
to rchaser53/rust
that referenced
this pull request
Jan 19, 2019
No copyright notices on new tests
djtech-dev
pushed a commit
to djtech-dev/rust
that referenced
this pull request
Dec 9, 2021
matthiaskrgr
pushed a commit
to matthiaskrgr/rust
that referenced
this pull request
Mar 7, 2023
Split tests to have faster CI
carolynzech
pushed a commit
to celinval/rust-dev
that referenced
this pull request
Dec 13, 2024
Towards model-checking#76 This pull request implements proof for contracts for `byte_offset_from` verifying `dyn Trait` pointee types. Both const and mut versions are included.
This pull request was closed.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This includes the previous pull request. I can update this one once that is in or we can work on both changes at once if you prefer.