Repository navigation

WIP: Trust parameter env when projecting GATs - #98742

Closed

nikomatsakis wants to merge 2 commits into

rust-lang:masterfrom

nikomatsakis:gat-norm

Closed

WIP: Trust parameter env when projecting GATs#98742
nikomatsakis wants to merge 2 commits into
rust-lang:masterfrom
nikomatsakis:gat-norm

Commits on Jun 30, 2022
- don't prove WC when projecting from param-env
  nikomatsakis
  committed
  a5888a2
- add soundness, backwards-incompat test cases
  nikomatsakis
  committed
  20ebe8c