Skip to content

trait_sel: add builtin impl for PointeeSized #142663

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.

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

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

davidtwco
Copy link
Member

@davidtwco davidtwco commented Jun 18, 2025

Fixes #142652
Supersedes #142661

During review of #137944, we thought we could remove the builtin impl of PointeeSized as it was removed during lowering, but users can still write dyn PointeeSized and so we need the builtin impl.

r? @oli-obk

During review of rust-lang#137944, we thought we could remove the
builtin impl of `PointeeSized` as it was removed during lowering, but
users can still write `dyn PointeeSized` and so we need the builtin impl.
@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. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver) labels Jun 18, 2025
@rustbot
Copy link
Collaborator

rustbot commented Jun 18, 2025

Some changes occurred to the core trait solver

cc @rust-lang/initiative-trait-system-refactor

@rustbot
Copy link
Collaborator

rustbot commented Jun 18, 2025

⚠️ Warning ⚠️

  • There are issue links (such as #123) in the commit messages of the following commits.
    Please move them to the PR description, to avoid spamming the issues with references to the commit, and so this bot can automatically canonicalize them to avoid issues with subtree.

@compiler-errors
Copy link
Member

Do we even want to allow dyn PointeeSized? Like, we don't allow dyn ?Sized today, and a dyn PointeeSized type needs to be MetaSized anyways because dyn trait types have fixed sizes and alignments via their metadata.

I'd somewhat opt to just rejecting dyn PointeeSized altogether.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
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. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

ICE: PointeeSized is removed during lowering
4 participants