Anonymize binders for `refining_impl_trait` check by compiler-errors · Pull Requ...
source link: https://github.com/rust-lang/rust/pull/116149
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Conversation
Member
We're naively using the equality impl for ty::Clause
in the refinement check, which is okay except for binders, which carry some information about where they come from in the AST. Those locations are not gonna be equal between traits and impls, so anonymize those clauses so that this doesn't matter.
Fixes #116135
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK