Skip to content

make RustaceansAreAwesome satisfy trait bounds - #163200

Open
dianne wants to merge 1 commit into
rust-lang:mainfrom
dianne:dyn-satisfies-bounds
Open

dianne wants to merge 1 commit into
rust-lang:mainfrom
dianne:dyn-satisfies-bounds

Conversation

@dianne

@dianne dianne commented Sep 23, 2026

Copy link
Copy Markdown
Member

We use RustaceansAreAwesome in place of dyn Trait when checking whether Trait's methods' receivers are dyn-dispatchable. Trait's where-bounds should hold for it.

Fixes #161621

@rustbot rustbot added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Sep 23, 2026
Comment on lines +29 to +30
//~| ERROR type mismatch resolving
//~| ERROR the size for values of type `RustaceansAreAwesome` cannot be known

@dianne dianne Sep 23, 2026 •

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

These extra errors should be removed by #163201

View changes since the review

@rust-log-analyzer

This comment has been minimized.

@dianne

dianne commented Sep 23, 2026

Copy link
Copy Markdown
Member Author

I can't tell what the failure is supposed to be there. following the instructions to reproduce locally also turns up nothing. I'll just try re-running PR CI

@dianne
dianne force-pushed the dyn-satisfies-bounds branch from b4c7073 to 452a7ca Compare September 23, 2026 09:29
@dianne

dianne commented Sep 23, 2026

Copy link
Copy Markdown
Member Author

looks like it was nothing.

I'm guessing this doesn't need an FCP since it fixes a regression. I don't think it should instantly stabilize anything that wasn't allowed prior to this check being formulated in terms of DispatchFromDyn

but to be sure, r? types

@rustbot rustbot added the T-types Relevant to the types team, which will review and decide on the PR/issue. label Sep 23, 2026
@dianne
dianne marked this pull request as ready for review September 23, 2026 12:51
@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Sep 23, 2026

This branch has not been deployed

No deployments
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. T-types Relevant to the types team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Nonsensical "trait bound is not satisfied" error on trait method definition

4 participants