Repository navigation

remove obsolete `givens` from regionck - #109629

Merged

bors merged 5 commits into

rust-lang:masterfrom

aliemjay:remove-givens

Mar 28, 2023

Merged

remove obsolete `givens` from regionck#109629
bors merged 5 commits into
rust-lang:masterfrom
aliemjay:remove-givens

Commits on Mar 26, 2023
- remove obsolete `givens` from regionck
  aliemjay
  committed
  b197f1a
- resolve regions before implied bounds
  aliemjay
  committed
  d1743c9
- add test
  aliemjay
  committed
  9cfb5f7
- exhaustive match on implied bounds regions
  aliemjay
  committed
  b20aa97
- tolerate region vars in implied bounds
  aliemjay
  committed
  2a3177a