From 6a87fd134ace5a09c44579e7498765610f6c96ea Mon Sep 17 00:00:00 2001
From: Luca Palmieri <20745048+LukeMathWalker@users.noreply.github.com>
Date: Sat, 14 Mar 2026 08:52:50 +0100
Subject: [PATCH] chore: Update snapshots

---
 .../expectations/stderr.txt                     | 17 +----------------
 .../expectations/stderr.txt                     | 11 +----------
 .../expectations/stderr.txt                     | 17 +----------------
 .../expectations/stderr.txt                     | 17 +----------------
 .../expectations/stderr.txt                     | 17 +----------------
 5 files changed, 5 insertions(+), 74 deletions(-)
diff --git a/compiler/ui_tests/blueprint/error_handlers/generics_in_error_handlers_must_be_tied_to_the_error/expectations/stderr.txt b/compiler/ui_tests/blueprint/error_handlers/generics_in_error_handlers_must_be_tied_to_the_error/expectations/stderr.txt
index a17d39f7d..c88b6e99e 100644
--- a/compiler/ui_tests/blueprint/error_handlers/generics_in_error_handlers_must_be_tied_to_the_error/expectations/stderr.txt
+++ b/compiler/ui_tests/blueprint/error_handlers/generics_in_error_handlers_must_be_tied_to_the_error/expectations/stderr.txt
@@ -22,11 +22,6 @@
   [31m│[0m     ·                    [33;1m╰── ..because it is not used here[0m
   [31m│[0m  [2m31[0m │     _generic_input: GenericType<T>,
   [31m│[0m     ╰────
-  [31m│[0m   [36mhelp:[0m Specify the concrete type(s) for the problematic generic parameter(s)
-  [31m│[0m         when registering the error handler against the blueprint:
-  [31m│[0m         |  .error_handler(
-  [31m│[0m         |    f!(my_crate::my_error_handler::<ConcreteType>)
-  [31m│[0m         |  )
 [31;1mERROR[0m:
   [31m×[0m I am not smart enough to figure out the concrete type for all the generic
   [31m│[0m parameters in `app::doubly_generic_error_handler`.
@@ -52,11 +47,6 @@
   [31m│[0m     ·                    [32;1m╰── ..because they are not used here[0m
   [31m│[0m  [2m39[0m │     _i1: GenericType<T>,
   [31m│[0m     ╰────
-  [31m│[0m   [36mhelp:[0m Specify the concrete type(s) for the problematic generic parameter(s)
-  [31m│[0m         when registering the error handler against the blueprint:
-  [31m│[0m         |  .error_handler(
-  [31m│[0m         |    f!(my_crate::my_error_handler::<ConcreteType>)
-  [31m│[0m         |  )
 [31;1mERROR[0m:
   [31m×[0m I am not smart enough to figure out the concrete type for all the generic
   [31m│[0m parameters in `app::triply_generic_error_handler`.
@@ -82,9 +72,4 @@
   [31m│[0m     · [35;1m    ───────────────┬───────────────[0m
   [31m│[0m     ·                    [35;1m╰── ..because they are not used here[0m
   [31m│[0m  [2m48[0m │     _i1: GenericType<T>,
-  [31m│[0m     ╰────
-  [31m│[0m   [36mhelp:[0m Specify the concrete type(s) for the problematic generic parameter(s)
-  [31m│[0m         when registering the error handler against the blueprint:
-  [31m│[0m         |  .error_handler(
-  [31m│[0m         |    f!(my_crate::my_error_handler::<ConcreteType>)
-  [31m│[0m         |  )
\ No newline at end of file
+  [31m│[0m     ╰────
\ No newline at end of file
diff --git a/compiler/ui_tests/blueprint/error_observers/error_observers_input_parameters_cannot_be_generic/expectations/stderr.txt b/compiler/ui_tests/blueprint/error_observers/error_observers_input_parameters_cannot_be_generic/expectations/stderr.txt
index a20fe3527..40cfa37ed 100644
--- a/compiler/ui_tests/blueprint/error_observers/error_observers_input_parameters_cannot_be_generic/expectations/stderr.txt
+++ b/compiler/ui_tests/blueprint/error_observers/error_observers_input_parameters_cannot_be_generic/expectations/stderr.txt
@@ -17,9 +17,6 @@
   [31m│[0m    ·                [35;1m╰── I can't infer this[0m
   [31m│[0m  [2m8[0m │     todo!()
   [31m│[0m    ╰────
-  [31m│[0m   [36mhelp:[0m Specify the concrete type(s) for the problematic generic parameter(s)
-  [31m│[0m         when registering the error observer against the blueprint: `f!
-  [31m│[0m         (my_crate::my_observer::<ConcreteType>)`
 [31;1mERROR[0m:
   [31m×[0m All generic parameters must be assigned to a concrete type when you
   [31m│[0m register an error observer, I can't infer them.
@@ -40,9 +37,6 @@
   [31m│[0m     ·                 [35;1m╰── I can't infer this[0m
   [31m│[0m  [2m13[0m │     todo!()
   [31m│[0m     ╰────
-  [31m│[0m   [36mhelp:[0m Specify the concrete type(s) for the problematic generic parameter(s)
-  [31m│[0m         when registering the error observer against the blueprint: `f!
-  [31m│[0m         (my_crate::my_observer::<ConcreteType>)`
 [31;1mERROR[0m:
   [31m×[0m All generic parameters must be assigned to a concrete type when you
   [31m│[0m register an error observer, I can't infer them.
@@ -63,7 +57,4 @@
   [31m│[0m     ·                 [35;1m│[0m  [33;1m╰── I can't infer this[0m
   [31m│[0m     ·                 [35;1m╰── I can't infer this[0m
   [31m│[0m  [2m18[0m │     _i1: GenericType<T>,
-  [31m│[0m     ╰────
-  [31m│[0m   [36mhelp:[0m Specify the concrete type(s) for the problematic generic parameter(s)
-  [31m│[0m         when registering the error observer against the blueprint: `f!
-  [31m│[0m         (my_crate::my_observer::<ConcreteType>)`
\ No newline at end of file
+  [31m│[0m     ╰────
\ No newline at end of file
diff --git a/compiler/ui_tests/blueprint/post_processing_middlewares/post_processing_middlewares_input_parameters_cannot_be_generic/expectations/stderr.txt b/compiler/ui_tests/blueprint/post_processing_middlewares/post_processing_middlewares_input_parameters_cannot_be_generic/expectations/stderr.txt
index 1f8772203..e322ab1ab 100644
--- a/compiler/ui_tests/blueprint/post_processing_middlewares/post_processing_middlewares_input_parameters_cannot_be_generic/expectations/stderr.txt
+++ b/compiler/ui_tests/blueprint/post_processing_middlewares/post_processing_middlewares_input_parameters_cannot_be_generic/expectations/stderr.txt
@@ -18,11 +18,6 @@
   [31m│[0m    ·                [35;1m╰── The generic parameter without a concrete type[0m
   [31m│[0m  [2m8[0m │     todo!()
   [31m│[0m    ╰────
-  [31m│[0m   [36mhelp:[0m Specify the concrete type for `T` when registering the post-processing
-  [31m│[0m         middleware against the blueprint:
-  [31m│[0m         |  bp.post_process(
-  [31m│[0m         |    f!(my_crate::my_middleware::<ConcreteType>),
-  [31m│[0m         |  )
 [31;1mERROR[0m:
   [31m×[0m I am not smart enough to figure out the concrete type for all the generic
   [31m│[0m parameters in `app::doubly_generic`.
@@ -45,11 +40,6 @@
   [31m│[0m     ·                       [35;1m╰── The generic parameter without a concrete type[0m
   [31m│[0m  [2m13[0m │     _response: Response,
   [31m│[0m     ╰────
-  [31m│[0m   [36mhelp:[0m Specify the concrete types for `T` and `S` when registering the post-
-  [31m│[0m         processing middleware against the blueprint:
-  [31m│[0m         |  bp.post_process(
-  [31m│[0m         |    f!(my_crate::my_middleware::<ConcreteType>),
-  [31m│[0m         |  )
 [31;1mERROR[0m:
   [31m×[0m I am not smart enough to figure out the concrete type for all the generic
   [31m│[0m parameters in `app::triply_generic`.
@@ -72,9 +62,4 @@
   [31m│[0m     ·                       [35;1m│[0m  [33;1m╰── The generic parameter without a concrete type[0m
   [31m│[0m     ·                       [35;1m╰── The generic parameter without a concrete type[0m
   [31m│[0m  [2m22[0m │     _response: Response,
-  [31m│[0m     ╰────
-  [31m│[0m   [36mhelp:[0m Specify the concrete types for `T`, `S` and `U` when registering the
-  [31m│[0m         post-processing middleware against the blueprint:
-  [31m│[0m         |  bp.post_process(
-  [31m│[0m         |    f!(my_crate::my_middleware::<ConcreteType>),
-  [31m│[0m         |  )
\ No newline at end of file
+  [31m│[0m     ╰────
\ No newline at end of file
diff --git a/compiler/ui_tests/blueprint/pre_processing_middlewares/pre_processing_middlewares_input_parameters_cannot_be_generic/expectations/stderr.txt b/compiler/ui_tests/blueprint/pre_processing_middlewares/pre_processing_middlewares_input_parameters_cannot_be_generic/expectations/stderr.txt
index 0b150c67c..843e22b80 100644
--- a/compiler/ui_tests/blueprint/pre_processing_middlewares/pre_processing_middlewares_input_parameters_cannot_be_generic/expectations/stderr.txt
+++ b/compiler/ui_tests/blueprint/pre_processing_middlewares/pre_processing_middlewares_input_parameters_cannot_be_generic/expectations/stderr.txt
@@ -17,11 +17,6 @@
   [31m│[0m    ·                [35;1m╰── The generic parameter without a concrete type[0m
   [31m│[0m  [2m9[0m │     todo!()
   [31m│[0m    ╰────
-  [31m│[0m   [36mhelp:[0m Specify the concrete type for `T` when registering the pre-processing
-  [31m│[0m         middleware against the blueprint:
-  [31m│[0m         |  bp.pre_process(
-  [31m│[0m         |    f!(my_crate::my_middleware::<ConcreteType>),
-  [31m│[0m         |  )
 [31;1mERROR[0m:
   [31m×[0m There must be no unassigned generic parameters in pre-processing
   [31m│[0m middlewares, but `T` and `S` do not seem to have been assigned a concrete
@@ -42,11 +37,6 @@
   [31m│[0m     ·                       [35;1m╰── The generic parameter without a concrete type[0m
   [31m│[0m  [2m14[0m │     todo!()
   [31m│[0m     ╰────
-  [31m│[0m   [36mhelp:[0m Specify the concrete types for `T` and `S` when registering the pre-
-  [31m│[0m         processing middleware against the blueprint:
-  [31m│[0m         |  bp.pre_process(
-  [31m│[0m         |    f!(my_crate::my_middleware::<ConcreteType>),
-  [31m│[0m         |  )
 [31;1mERROR[0m:
   [31m×[0m There must be no unassigned generic parameters in pre-processing
   [31m│[0m middlewares, but `T`, `S` and `U` do not seem to have been assigned a
@@ -67,9 +57,4 @@
   [31m│[0m     ·                       [35;1m│[0m  [33;1m╰── The generic parameter without a concrete type[0m
   [31m│[0m     ·                       [35;1m╰── The generic parameter without a concrete type[0m
   [31m│[0m  [2m19[0m │     _i1: GenericType<T>,
-  [31m│[0m     ╰────
-  [31m│[0m   [36mhelp:[0m Specify the concrete types for `T`, `S` and `U` when registering the
-  [31m│[0m         pre-processing middleware against the blueprint:
-  [31m│[0m         |  bp.pre_process(
-  [31m│[0m         |    f!(my_crate::my_middleware::<ConcreteType>),
-  [31m│[0m         |  )
\ No newline at end of file
+  [31m│[0m     ╰────
\ No newline at end of file
diff --git a/compiler/ui_tests/blueprint/wrapping_middlewares/wrapping_middlewares_input_parameters_cannot_be_generic/expectations/stderr.txt b/compiler/ui_tests/blueprint/wrapping_middlewares/wrapping_middlewares_input_parameters_cannot_be_generic/expectations/stderr.txt
index d06e28cf6..2fa81ee1a 100644
--- a/compiler/ui_tests/blueprint/wrapping_middlewares/wrapping_middlewares_input_parameters_cannot_be_generic/expectations/stderr.txt
+++ b/compiler/ui_tests/blueprint/wrapping_middlewares/wrapping_middlewares_input_parameters_cannot_be_generic/expectations/stderr.txt
@@ -19,11 +19,6 @@
   [31m│[0m    ·                   [35;1m╰── The generic parameter without a concrete type[0m
   [31m│[0m  [2m9[0m │ where
   [31m│[0m    ╰────
-  [31m│[0m   [36mhelp:[0m Specify the concrete type for `T` when registering the wrapping
-  [31m│[0m         middleware against the blueprint:
-  [31m│[0m         |  bp.wrap(
-  [31m│[0m         |    f!(my_crate::my_middleware::<ConcreteType>),
-  [31m│[0m         |  )
 [31;1mERROR[0m:
   [31m×[0m I am not smart enough to figure out the concrete type for all the generic
   [31m│[0m parameters in `app::doubly_generic`.
@@ -46,11 +41,6 @@
   [31m│[0m     ·                          [35;1m╰── The generic parameter without a concrete type[0m
   [31m│[0m  [2m17[0m │ where
   [31m│[0m     ╰────
-  [31m│[0m   [36mhelp:[0m Specify the concrete types for `T` and `S` when registering the
-  [31m│[0m         wrapping middleware against the blueprint:
-  [31m│[0m         |  bp.wrap(
-  [31m│[0m         |    f!(my_crate::my_middleware::<ConcreteType>),
-  [31m│[0m         |  )
 [31;1mERROR[0m:
   [31m×[0m I am not smart enough to figure out the concrete type for all the generic
   [31m│[0m parameters in `app::triply_generic`.
@@ -73,9 +63,4 @@
   [31m│[0m     ·                          [35;1m│[0m  [33;1mThe generic parameter without a concrete type[0m
   [31m│[0m     ·                          [35;1m╰── The generic parameter without a concrete type[0m
   [31m│[0m  [2m25[0m │     _next: Next<A>,
-  [31m│[0m     ╰────
-  [31m│[0m   [36mhelp:[0m Specify the concrete types for `T`, `S` and `U` when registering the
-  [31m│[0m         wrapping middleware against the blueprint:
-  [31m│[0m         |  bp.wrap(
-  [31m│[0m         |    f!(my_crate::my_middleware::<ConcreteType>),
-  [31m│[0m         |  )
\ No newline at end of file
+  [31m│[0m     ╰────
\ No newline at end of file
