Rust: tracking issue for "chalkification"

[nikomatsakis]

This is a place holder for various refactorings going on in the trait system aimed, ultimately, at improving efficiency and correctness. Some of the key goals include lazy normalization, better caching, and removing many of the trait-related overflow errors. I plan to flesh out details better here as we go.

• [x] Remove the "leak check" in favor of "universes"
  
  
  
  • @sgrif plans to do this; a lot of it has been done in an older branch
  
  
  • The plan is in this gist.
  
  
  • The primary goal here is to get the code in place so we can do a crater run, since this is not an entirely backwards compatible change (though it fixes some soundness bugs).
  
  
• [x] Canonicalization + normalization query
  
  
  
  • @nikomatsakis is working on this presently, see #48411
  
  
• [x] Integrate universes into canonicalization (https://github.com/rust-lang/rust/issues/48696)
• [ ] re-remove the leak-check, which has been re-added (#59490)
• [ ] implement lazy normalization (#60471)

[mark-i-m]

48411 is done

[shepmaster]

For my own searchability, I'm adding the plain word chalk.

[tmandry]

See also the WG-traits meeting doc which has been updated more recently.

[ebkalderon]

For reference, some substantial work on universes has recently been merged: rust-lang/rust#55517.

[mark-i-m]

What's left here? It looks like all the checkboxes are ticked.

[vi]

Until the question is answered, this tracking issue no longer tracks the issue.

[pnkfelix]

Until @nikomatsakis corrects me otherwise, I'm going to assume that #59490 blocks this and thus this tracking issue once again tracks the issue.

[syntacticsugarglider]

Now that #65232 is merged, what is the status of this issue? What's the effective status of #59490?

[nikomatsakis]

Hard to summarize. We're working on making an approachable roadmap and summary on the https://github.com/rust-lang/wg-traits repository, but it's not quite there yet.