Skip to content

Revert stabilization of trait_upcasting feature #120233

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Merged
merged 2 commits into from
Jan 23, 2024

Conversation

oli-obk
Copy link
Contributor

@oli-obk oli-obk commented Jan 22, 2024

Reverts #118133

This reverts commit 6d2b84b, reversing changes made to 73bc121.

The feature has a soundness bug:

It is unclear to me whether we'll actually want to destabilize, but I thought it was still prudent to open the PR for easy destabilization once we get there.

@rustbot
Copy link
Collaborator

rustbot commented Jan 22, 2024

r? @petrochenkov

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

@rustbot rustbot 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. T-libs Relevant to the library team, which will review and decide on the PR/issue. labels Jan 22, 2024
@rustbot
Copy link
Collaborator

rustbot commented Jan 22, 2024

The Miri subtree was changed

cc @rust-lang/miri

@rust-log-analyzer

This comment has been minimized.

@oli-obk oli-obk force-pushed the revert_trait_obj_upcast_stabilization branch from c6f4347 to 7c66b07 Compare January 22, 2024 12:33
@rustbot
Copy link
Collaborator

rustbot commented Jan 22, 2024

The Miri subtree was changed

cc @rust-lang/miri

@RalfJung RalfJung added T-lang Relevant to the language team and removed T-libs Relevant to the library team, which will review and decide on the PR/issue. labels Jan 22, 2024
@rust-log-analyzer

This comment has been minimized.

@petrochenkov
Copy link
Contributor

r=me after fixing the CI failure.
@rustbot author

@rustbot rustbot added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Jan 22, 2024
@oli-obk oli-obk force-pushed the revert_trait_obj_upcast_stabilization branch from 7c66b07 to 70172f3 Compare January 22, 2024 13:49
@rust-log-analyzer

This comment has been minimized.

@oli-obk oli-obk added beta-nominated Nominated for backporting to the compiler in the beta channel. stable-nominated Nominated for backporting to the compiler in the stable channel. labels Jan 22, 2024
…ing, r=WaffleLapkin"

This reverts commit 6d2b84b, reversing
changes made to 73bc121.
@oli-obk oli-obk force-pushed the revert_trait_obj_upcast_stabilization branch from 70172f3 to 483382b Compare January 22, 2024 14:24
@lcnr
Copy link
Contributor

lcnr commented Jan 22, 2024

@bors r+ p=1

@bors
Copy link
Collaborator

bors commented Jan 22, 2024

📌 Commit 483382b has been approved by lcnr

It is now in the queue for this repository.

@bors bors 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-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Jan 22, 2024
@jackh726
Copy link
Member

This only made it to beta, right? So don't need a stable nomination?

@ehuss
Copy link
Contributor

ehuss commented Jan 22, 2024

Should #65991 be reopened?

matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Jan 22, 2024
…abilization, r=lcnr

Revert stabilization of trait_upcasting feature

Reverts rust-lang#118133

This reverts commit 6d2b84b, reversing changes made to 73bc121.

The feature has a soundness bug:

* rust-lang#120222

It is unclear to me whether we'll actually want to destabilize, but I thought it was still prudent to open the PR for easy destabilization once we get there.
@WaffleLapkin WaffleLapkin removed the stable-nominated Nominated for backporting to the compiler in the stable channel. label Jan 22, 2024
@WaffleLapkin
Copy link
Member

@jackh726 I believe so

@traviscross
Copy link
Contributor

@rustbot labels +I-lang-nominated

Let's discuss this developing situation on the lang call.

@rustbot rustbot added the I-lang-nominated Nominated for discussion during a lang team meeting. label Jan 22, 2024
bors added a commit to rust-lang-ci/rust that referenced this pull request Jan 22, 2024
…iaskrgr

Rollup of 9 pull requests

Successful merges:

 - rust-lang#119664 (Fix tty detection for msys2's `/dev/ptmx`)
 - rust-lang#120104 (never_patterns: Count `!` bindings as diverging)
 - rust-lang#120109 (Move cmath into `sys`)
 - rust-lang#120143 (Consolidate logic around resolving built-in coroutine trait impls)
 - rust-lang#120159 (Track `verbose` and `verbose_internals`)
 - rust-lang#120188 (compiler: update freebsd and netbsd base specs.)
 - rust-lang#120216 (Fix a `trimmed_def_paths` assertion failure.)
 - rust-lang#120220 (Document `Token{Stream,Tree}::Display` more thoroughly.)
 - rust-lang#120233 (Revert stabilization of trait_upcasting feature)

r? `@ghost`
`@rustbot` modify labels: rollup
bors added a commit to rust-lang-ci/rust that referenced this pull request Jan 22, 2024
…iaskrgr

Rollup of 8 pull requests

Successful merges:

 - rust-lang#119664 (Fix tty detection for msys2's `/dev/ptmx`)
 - rust-lang#120104 (never_patterns: Count `!` bindings as diverging)
 - rust-lang#120109 (Move cmath into `sys`)
 - rust-lang#120143 (Consolidate logic around resolving built-in coroutine trait impls)
 - rust-lang#120159 (Track `verbose` and `verbose_internals`)
 - rust-lang#120216 (Fix a `trimmed_def_paths` assertion failure.)
 - rust-lang#120220 (Document `Token{Stream,Tree}::Display` more thoroughly.)
 - rust-lang#120233 (Revert stabilization of trait_upcasting feature)

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit a787232 into rust-lang:master Jan 23, 2024
rust-timer added a commit to rust-lang-ci/rust that referenced this pull request Jan 23, 2024
Rollup merge of rust-lang#120233 - oli-obk:revert_trait_obj_upcast_stabilization, r=lcnr

Revert stabilization of trait_upcasting feature

Reverts rust-lang#118133

This reverts commit 6d2b84b, reversing changes made to 73bc121.

The feature has a soundness bug:

* rust-lang#120222

It is unclear to me whether we'll actually want to destabilize, but I thought it was still prudent to open the PR for easy destabilization once we get there.
@rustbot rustbot added this to the 1.77.0 milestone Jan 23, 2024
dianqk pushed a commit to dianqk/rust that referenced this pull request Jan 23, 2024
…iaskrgr

Rollup of 8 pull requests

Successful merges:

 - rust-lang#119664 (Fix tty detection for msys2's `/dev/ptmx`)
 - rust-lang#120104 (never_patterns: Count `!` bindings as diverging)
 - rust-lang#120109 (Move cmath into `sys`)
 - rust-lang#120143 (Consolidate logic around resolving built-in coroutine trait impls)
 - rust-lang#120159 (Track `verbose` and `verbose_internals`)
 - rust-lang#120216 (Fix a `trimmed_def_paths` assertion failure.)
 - rust-lang#120220 (Document `Token{Stream,Tree}::Display` more thoroughly.)
 - rust-lang#120233 (Revert stabilization of trait_upcasting feature)

r? `@ghost`
`@rustbot` modify labels: rollup
@oli-obk oli-obk deleted the revert_trait_obj_upcast_stabilization branch January 23, 2024 14:10
@oli-obk
Copy link
Contributor Author

oli-obk commented Jan 23, 2024

beta backport PR opened: #120269 (not approved for beta backport yet, just opened it so we can act quickly on Thursday after the compiler team triage

@jackh726
Copy link
Member

Giving the sentiment from T-types, I'm going to just mark this as backport approved. I don't think anyone wants to try to rush to fix this in the short time we have left until release.

cc @rust-lang/types @rust-lang/lang

@jackh726 jackh726 added the beta-accepted Accepted for backporting to the compiler in the beta channel. label Jan 23, 2024
bors added a commit to rust-lang-ci/rust that referenced this pull request Jan 24, 2024
…ilization, r=jackh726

[beta] Revert trait obj upcast stabilization

backport of rust-lang#120233

note that this is not yet approved for beta backport
@scottmcm
Copy link
Member

Agreed; since concerns came up let's revert and consider it without a rush.

bors added a commit to rust-lang-ci/rust that referenced this pull request Jan 24, 2024
…ilization, r=jackh726

[beta] Revert trait obj upcast stabilization

backport of rust-lang#120233

note that this is not yet approved for beta backport
@cuviper
Copy link
Member

cuviper commented Jan 25, 2024

Since #120269 already landed on beta:
@rustbot label -beta-nominated

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
beta-accepted Accepted for backporting to the compiler in the beta channel. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-lang Relevant to the language team
Projects
None yet
Development

Successfully merging this pull request may close these issues.