matching on `b` for `Unsize` requires normalization

[lcnr]

we need to normalize b as well

also need to handle infer vars in the rhs

[compiler-errors]

rust-lang/rust#113393

[lcnr]

i don't think there is anything major to discuss here now that #113393 is merged