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

MIR: Annotate E0382 #10457

Merged
merged 1 commit into from May 12, 2023
Merged

MIR: Annotate E0382 #10457

merged 1 commit into from May 12, 2023

Conversation

dima74
Copy link
Member

@dima74 dima74 commented May 12, 2023

Implement error E0382 using MIR-dataflow. Works only if org.rust.mir.borrow-check experimental feature is enabled. See #10452

@dima74 dima74 added the internal Pull requests about internal improvements/fixes that don't affect users directly label May 12, 2023
@dima74
Copy link
Member Author

dima74 commented May 12, 2023

bors r+

bors bot added a commit that referenced this pull request May 12, 2023
@bors @dima74
Merge #10457
223e149 
10457: MIR: Annotate E0382 r=dima74 a=dima74

Implement error E0382 using MIR-dataflow. Works only if `org.rust.mir.borrow-check` experimental feature is enabled. See #10452

Co-authored-by: Dmitry Murzin <dmitry.murzin@jetbrains.com>
@bors
Copy link
Contributor

bors bot commented May 12, 2023

Build failed:

@dima74
Copy link
Member Author

dima74 commented May 12, 2023

bors retry

@bors
Copy link
Contributor

bors bot commented May 12, 2023

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here.
For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

@bors bors bot merged commit 15db2cd into master May 12, 2023
7 of 24 checks passed
@bors bors bot deleted the diralik/mir-borrowck-E0382 branch May 12, 2023 16:25
@github-actions github-actions bot added this to the v195 milestone May 12, 2023
@dima74 dima74 mentioned this pull request May 16, 2023
Merged
bors bot added a commit that referenced this pull request May 16, 2023
@bors @wbars @dima74
Merge #10473 #10474
be2c0b8 
10473: Highlight unresolved labels as E0767 if labels beyond label barriers exists r=wbars a=wbars

Support for E0767

10474: MIR: Annotate E0381 and E0382 for tuple fields r=dima74 a=dima74

Related: #10453, #10457

Co-authored-by: Kirill Smelov <kirill.smelov@jetbrains.com>
Co-authored-by: Dmitry Murzin <dmitry.murzin@jetbrains.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
internal Pull requests about internal improvements/fixes that don't affect users directly
Projects
None yet
Milestone
v195
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@dima74