(@eddyb reminded me that `ty_to_str` includes the `..` on IRC.)