Rollup merge of #126360 - compiler-errors:uplift-structural-traits, r=lcnr

Uplift `structural_traits.rs` into the new trait solver

Self-explanatory. I will leave some comments inline regarding design decisions.

Author: matthiaskrgr