From a7ca8e46396e3ca3794e4e9882106392101921aa Mon Sep 17 00:00:00 2001 From: malezjaa Date: Sat, 21 Mar 2026 09:29:30 +0100 Subject: [PATCH] new on_unimplemented match values --- src/diagnostics.md | 1 + 1 file changed, 1 insertion(+) diff --git a/src/diagnostics.md b/src/diagnostics.md index bdd7a3dfa..98f890a0f 100644 --- a/src/diagnostics.md +++ b/src/diagnostics.md @@ -964,6 +964,7 @@ The compiler can provide several values to match on, for example: - references to said slices and arrays. - `"fn"`, `"unsafe fn"` or `"#[target_feature] fn"` when self is a function. - `"{integer}"` and `"{float}"` if the type is a number but we haven't inferred it yet. + - `"{struct}"`, `"{enum}"` and `"{union}"` to match self as an ADT - combinations of the above, like `"[{integral}; _]"`. For example, the `Iterator` trait can be filtered in the following way: