Fix printing impl trait under binders
#98371
+166
−114
Merged