[RFC] On_unimplemented_trait_use

text/0000-custom-error-message-on-unimplemented-trait-use.md

@@ -0,0 +1,46 @@
+- Feature Name: `on_unimplemented_trait_use`
+- Start Date: 2024-05-22
+- RFC PR: [rust-lang/rfcs#0000](https://github.com/rust-lang/rfcs/pull/0000)
+- Rust Issue: [rust-lang/rust#0000](https://github.com/rust-lang/rust/issues/0000)
+
+# Summary
+[summary]: #summary
+
+Add `[diagnostic::on_unimplemented_trait_use]` in `#[diagnostic]` on structs that will influence error messages emitted by unsatisfied traits bounds.
+
+# Motivation
+[motivation]: #motivation
+
+The idea came about when I was trying to print out a PathBuf, there's a custom message that said: 
+>in format strings you may be able to use `{:?}` (or {:#?} for pretty-print) instead  
+call `.display()` or `.to_string_lossy()` to safely print paths, as they may contain non-Unicode data
+
+And found out its hardcoded in trait `Display`
+```rust
+#[rustc_on_unimplemented(
+    on(
+        any(_Self = "std::path::Path", _Self = "std::path::PathBuf"),
+        label = "`{Self}` cannot be formatted with the default formatter; call `.display()` on it",
+        note = "call `.display()` or `.to_string_lossy()` to safely print paths, \
+                as they may contain non-Unicode data"
+    ),
+    message = "`{Self}` doesn't implement `{Display}`",
+    label = "`{Self}` cannot be formatted with the default formatter",
+    note = "in format strings you may be able to use `{{:?}}` (or {{:#?}} for pretty-print) instead"
+)]
+pub trait Display {...}
+```
+It would be nice if this functionality is exposed to libraries as well, so that when the user tries to use an unimplemented trait (e.g. maybe Display isn't implemented because it's insufficient to clearly express intentions) the author can explain why via this diagnostic and offer a recommendation/alternative.
+
+For example:
+```rust
+#[diagnostic::on_unimplemented_trait_use(
+    trait = Display,
+    message = "`{Self}` doesn't implement `{Display}`",
+    label = "`{Self}` cannot be formatted with the default formatter; call `.display()` on it",
+    note = "call `.display()` or `.to_string_lossy()` to safely print paths, \
+                as they may contain non-Unicode data"
+)]
+struct PathBuf;
+````
+