Auto merge of #111697 - rcvalle:rust-cfi-fix-111510, r=bjorn3

CFI: Fix encode_ty: unexpected Param(B/#1)

Fixes #111510 and complements #106547 by adding support for encoding type parameters and also by transforming trait objects' traits into their identities before emitting type checks.

Author: bors