Recognize infinite recursion caused by {self}

impl/src/fmt.rs

@@ -102,7 +102,6 @@ impl Display<'_> {
                 MemberUnraw::Unnamed(index) => format_ident!("_{}", index),
                 MemberUnraw::Named(ident) => ident.to_local(),
             });
-            if let Some(&field) = member_index.get(&member) {
             let end_spec = match read.find('}') {
                 Some(end_spec) => end_spec,
                 None => return Ok(()),
@@ -118,13 +117,25 @@ impl Display<'_> {
                 Some('E') => Trait::UpperExp,
                 Some(_) => Trait::Display,
                 None => {
+                    if member_index.contains_key(&member) {
                         has_bonus_display = true;
                         binding_value.extend(quote_spanned!(span=> .as_display()));
+                    }
                     Trait::Display
                 }
             };
+            if let Some(&field) = member_index.get(&member) {
                 implied_bounds.insert((field, bound));
             }
+            if member == *"self" && bound == Trait::Display {
+                binding_value = quote_spanned!(member.span()=>
+                    {
+                        #[warn(unconditional_recursion)]
+                        fn _fmt() { _fmt() }
+                        #member
+                    }
+                );
+            }
             bindings.push((local, binding_value));
         }
 

impl/src/unraw.rs

@@ -101,6 +101,15 @@ impl PartialEq for MemberUnraw {
     }
 }
 
+impl PartialEq<str> for MemberUnraw {
+    fn eq(&self, other: &str) -> bool {
+        match self {
+            MemberUnraw::Named(this) => this == other,
+            MemberUnraw::Unnamed(_) => false,
+        }
+    }
+}
+
 impl Hash for MemberUnraw {
     fn hash<H: Hasher>(&self, hasher: &mut H) {
         match self {

tests/ui/unconditional-recursion.rs

@@ -0,0 +1,9 @@
+use thiserror::Error;
+
+#[derive(Error, Debug)]
+#[error("{self}")]
+pub struct Error;
+
+fn main() {
+    @//fail
+}

tests/ui/unconditional-recursion.stderr

@@ -0,0 +1,21 @@
+error: expected expression, found `@`
+ --> tests/ui/unconditional-recursion.rs:8:5
+  |
+8 |     @//fail
+  |     ^ expected expression
+
+warning: function cannot return without recursing
+ --> tests/ui/unconditional-recursion.rs:4:9
+  |
+4 | #[error("{self}")]
+  |         ^^^^^^^^
+  |         |
+  |         cannot return without recursing
+  |         recursive call site
+  |
+  = help: a `loop` may express intention better if this is on purpose
+note: the lint level is defined here
+ --> tests/ui/unconditional-recursion.rs:4:9
+  |
+4 | #[error("{self}")]
+  |         ^^^^^^^^