Auto merge of #161047 - lcnr:implied-bounds-opaque-only-next, r=adwinwhite

only next-solver: move implied bounds computation out of borrowck

version of rust-lang/rust#160491 which does not enable this change for the old solver, meaning that we can merge it without a types team FCP :>

r? adwinwhite