Rollup merge of #140214 - compiler-errors:remove-hack, r=lcnr

Remove comment about handling non-global where bounds with corresponding projection

This comment is no longer relevant since we only assemble rigid projections if no param-env candidates hold.

Also remove a stray comment from the old solver.

r? lcnr

Author: matthiaskrgr