mirror of
https://github.com/rust-lang/rust.git
synced 2025-10-04 11:17:04 +00:00

remove obsolete `givens` from regionck
Revives #107376. The only change is the last commit (2a3177a8bc
) which should fix the regression.
Fixes https://github.com/rust-lang/rust/issues/106567
r? `@lcnr`