Rollup merge of #136951 - compiler-errors:clause-binder, r=lqd

Use the right binder for rebinding `PolyTraitRef`

Fixes #136940

I committed a slightly different test which still demonstrates the issue.

Author: workingjubilee