Auto merge of #133393 - compiler-errors:dyn-tweaks, r=lcnr,spastorino

Some minor dyn-related tweaks

Each commit should be self-explanatory, but I'm happy to explain what's going on if not. These are tweaks I pulled out of #133388, but they can be reviewed sooner than that.

r? types

Author: bors