Skip to content

Skip checks for cast to dyn traits#18093

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

Skip checks for cast to dyn traits#18093
bors merged 1 commit intorust-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
Copy link
Copy Markdown
Member

Veykril commented Sep 11, 2024

bors merge

@Veykril
Copy link
Copy Markdown
Member

Veykril commented Sep 11, 2024

ugh
@bors r+

@bors
Copy link
Copy Markdown
Contributor

bors commented Sep 11, 2024

📌 Commit 569ac44 has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Copy Markdown
Contributor

bors commented Sep 11, 2024

⌛ Testing commit 569ac44 with merge dd026ce...

@bors
Copy link
Copy Markdown
Contributor

bors commented Sep 11, 2024

☀️ 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