Skip to content

Conversation

compiler-errors
Copy link
Member

@compiler-errors compiler-errors commented Nov 30, 2024

Remove a redundant associated type bound from the return type of TypeFolder::as_dyn in some impls. This associated type is already constrained by the definition of trait TypeFolder:

pub trait TypeFolder<I: Interner>: FallibleTypeFolder<I, Error = Infallible> { ... }

And so specifying it is unnecessary.

Removing this bound may also be necessary to avoid unintended breakage while fixing rust-lang/rust#133361, though this usage is not unsound, it's just hard to support while also fixing the underlying issue.

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 30, 2024
@lnicola lnicola enabled auto-merge November 30, 2024 03:46
@lnicola lnicola added this pull request to the merge queue Nov 30, 2024
Merged via the queue into rust-lang:master with commit b65911d Nov 30, 2024
9 checks passed
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.

3 participants