Rollup merge of #143307 - compiler-errors:fast-path-nitpicks, r=lcnr

Fast path nitpicks

Miscellaneous commits that I didn't really want to fold into anything else.

Fixes one theoretical bug with the fast path not considering polarity for `T: !Sized` bounds.

Author: jhpratt