Encode implied predicates for traits by compiler-errors · Pull Request #122891 ·...
source link: https://github.com/rust-lang/rust/pull/122891
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
In #112629, we decided to make associated type bounds in the "supertrait" AST position implied even though they're not supertraits themselves.
This means that the super_predicates
and implied_predicates
queries now differ for regular traits. The assumption that they didn't differ was hard-coded in #107614, so in cross-crate positions this means that we forget the implied predicates from associated type bounds.
This isn't unsound, just kind of annoying. This should be backported since associated type bounds are slated to stabilize for 1.78 -- either that, or associated type bounds can be reverted on beta and re-shipped in 1.79 with this patch.
Fixes #122859
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK