3

Normalize obligation and expected trait_refs in confirm_poly_trait_refs by compi...

 2 years ago
source link: https://github.com/rust-lang/rust/pull/94108
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.
neoserver,ios ssh client

Copy link

Contributor

compiler-errors commented 8 days ago

edited

Consolidate normalization the obligation and expected trait refs in confirm_poly_trait_refs. Also, always normalize these trait refs -- we were already normalizing the obligation trait ref when confirming closure and generator candidates, but this does it for fn pointer confirmation as well.

This presumably does more work in the case that the obligation's trait ref is already normalized, but we can see from the perf runs in #94070, it actually (paradoxically, perhaps) improves performance when paired with logic that normalizes projections in fulfillment loop.


About Joyk


Aggregate valuable and interesting links.
Joyk means Joy of geeK