rename `TraitRef::from_method` to `from_assoc` also add a note to `GenericArgs::truncate_to`
tcx.short_string()