explicitly show behavior of <_>::assoc_fn

2026-05-28 20:16:58 +03:00 · 2026-02-18 11:36:21 -08:00
parent 7dc2e92b83
commit 0487f58fba
1 changed files with 14 additions and 1 deletions
@@ -890,7 +890,20 @@ fn assemble_probe(
            | ty::Tuple(..) => {
                self.assemble_inherent_candidates_for_incoherent_ty(raw_self_ty, receiver_steps)
            }
-            _ => {}
+            ty::Alias(..)
+            | ty::Bound(..)
+            | ty::Closure(..)
+            | ty::Coroutine(..)
+            | ty::CoroutineClosure(..)
+            | ty::CoroutineWitness(..)
+            | ty::Dynamic(..)
+            | ty::Error(..)
+            | ty::FnDef(..)
+            | ty::FnPtr(..)
+            | ty::Infer(..)
+            | ty::Pat(..)
+            | ty::Placeholder(..)
+            | ty::UnsafeBinder(..) => {}
        }
    }