Skip to content

Skip checks for cast to dyn traits#18093

Merged
bors merged 1 commit into
rust-lang:masterfrom
ShoyuVanilla:skip-dyn-trait-cast-check
Sep 11, 2024
Merged

Skip checks for cast to dyn traits#18093
bors merged 1 commit into
rust-lang:masterfrom
ShoyuVanilla:skip-dyn-trait-cast-check

Conversation

@ShoyuVanilla

Copy link
Copy Markdown
Member

It seems that chalk fails to solve some obvious goals when there are some recursiveness in trait environments.
And it doesn't support trait upcasting yet. rust-lang/chalk#796

This PR just skips for casting into types containing dyn Trait to prevent false positive diagnostics like #18047 and #18083

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Sep 10, 2024
@Veykril

Veykril commented Sep 11, 2024

Copy link
Copy Markdown
Member

bors merge

@Veykril

Veykril commented Sep 11, 2024

Copy link
Copy Markdown
Member

ugh
@bors r+

@bors

bors commented Sep 11, 2024

Copy link
Copy Markdown
Contributor

📌 Commit 569ac44 has been approved by Veykril

It is now in the queue for this repository.

@bors

bors commented Sep 11, 2024

Copy link
Copy Markdown
Contributor

⌛ Testing commit 569ac44 with merge dd026ce...

@bors

bors commented Sep 11, 2024

Copy link
Copy Markdown
Contributor

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing dd026ce to master...

@bors bors merged commit dd026ce into rust-lang:master Sep 11, 2024
@ShoyuVanilla ShoyuVanilla deleted the skip-dyn-trait-cast-check branch September 11, 2024 07:46
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.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants