Skip to content

Only prevent field projections into opaque types, not types containing opaque types - #116156

Merged
bors merged 1 commit into
rust-lang:masterfrom
oli-obk:opaque_place_unwrap
Sep 27, 2023
Merged

Only prevent field projections into opaque types, not types containing opaque types#116156
bors merged 1 commit into
rust-lang:masterfrom
oli-obk:opaque_place_unwrap

Conversation

@oli-obk

Copy link
Copy Markdown
Contributor

fixes#115778

I did not think that original condition through properly... I'll also need to check the similar check around the other ProjectionKind::OpaqueCast creation site (this one is in hir, the other one is in mir), but I'll do that change in another PR that doesn't go into a beta backport.

@oli-obkoli-obk added the beta-nominated Nominated for backporting to the compiler in the beta channel. label Sep 25, 2023
@rustbot

Copy link
Copy Markdown
Collaborator

r? @petrochenkov

(rustbot has picked a reviewer for you, use r? to override)

@rustbotrustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Sep 25, 2023
@compiler-errors

Copy link
Copy Markdown
Contributor

r? @compiler-errors@bors r+

@bors

bors commented Sep 25, 2023

Copy link
Copy Markdown
Collaborator

📌 Commit 17b313f has been approved by compiler-errors

It is now in the queue for this repository.

@borsbors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Sep 25, 2023
@bors

bors commented Sep 27, 2023

Copy link
Copy Markdown
Collaborator

⌛ Testing commit 17b313f with merge e1636a0...

@bors

bors commented Sep 27, 2023

Copy link
Copy Markdown
Collaborator

☀️ Test successful - checks-actions
Approved by: compiler-errors
Pushing e1636a0 to master...

@borsbors added the merged-by-bors This PR was explicitly merged by bors. label Sep 27, 2023
@bors
bors merged commit e1636a0 into rust-lang:masterSep 27, 2023
@rustbotrustbot added this to the 1.74.0 milestone Sep 27, 2023
@rust-timer

Copy link
Copy Markdown
Collaborator

Finished benchmarking commit (e1636a0): comparison URL.

Overall result: no relevant changes - no action needed

@rustbot label: -perf-regression

Instruction count

This benchmark run did not return any relevant results for this metric.

Max RSS (memory usage)

Results

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

meanrangecount
Regressions ❌
(primary)
--0
Regressions ❌
(secondary)
--0
Improvements ✅
(primary)
--0
Improvements ✅
(secondary)
-2.3%[-2.3%, -2.3%]1
All ❌✅ (primary)--0

Cycles

This benchmark run did not return any relevant results for this metric.

Binary size

This benchmark run did not return any relevant results for this metric.

Bootstrap: 631.857s -> 630.538s (-0.21%)
Artifact size: 317.04 MiB -> 317.11 MiB (0.02%)

@apiraino

Copy link
Copy Markdown
Contributor

Beta backport accepted as per compiler team on Zulip

@rustbot label +beta-accepted

@rustbotrustbot added the beta-accepted Accepted for backporting to the compiler in the beta channel. label Sep 28, 2023
@cuvipercuviper mentioned this pull request Sep 29, 2023
@cuvipercuviper modified the milestones: 1.74.0, 1.73.0Sep 29, 2023
@cuvipercuviper removed the beta-nominated Nominated for backporting to the compiler in the beta channel. label Sep 29, 2023
bors added a commit to rust-lang-ci/rust that referenced this pull request Sep 29, 2023
[beta] backports
- Only prevent field projections into opaque types, not types containing opaque types rust-lang#116156
- Update LLVM submodule rust-lang#116227
r? cuviper
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

beta-acceptedAccepted for backporting to the compiler in the beta channel.merged-by-borsThis PR was explicitly merged by bors.S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

regression: as_place unwrap None

8 participants

@oli-obk@rustbot@compiler-errors@bors@rust-timer@apiraino@cuviper@petrochenkov