Should we add a rustc lint to detect when we're using `Ty: Display` without wrapping it in this? (Maybe not to address in this PR, but I know I'm bound to make that mistake myself at some point in the future.)