where does the leakcheck happen

[lcnr]

TODO: document this properly, subtly different from old solver, most notably selection for higher ranked goals now can't use leaks involving the binder around the goal

[lcnr]

documented as part of rust-lang/rust#119820