Update UI tests for latest nightly, stable.

contrib/db_pools/codegen/tests/ui-fail-stable/database-types.stderr

@@ -4,6 +4,7 @@ error[E0277]: the trait bound `Unknown: Pool` is not satisfied
 7  | struct A(Unknown);
    |          ^^^^^^^ the trait `Pool` is not implemented for `Unknown`
    |
+   = help: the trait `Pool` is implemented for `deadpool::managed::Pool<M, C>`
 note: required by a bound in `rocket_db_pools::Database::Pool`
   --> $WORKSPACE/contrib/db_pools/lib/src/database.rs
    |
@@ -16,6 +17,7 @@ error[E0277]: the trait bound `Vec<i32>: Pool` is not satisfied
 11 | struct B(Vec<i32>);
    |          ^^^^^^^^ the trait `Pool` is not implemented for `Vec<i32>`
    |
+   = help: the trait `Pool` is implemented for `deadpool::managed::Pool<M, C>`
 note: required by a bound in `rocket_db_pools::Database::Pool`
   --> $WORKSPACE/contrib/db_pools/lib/src/database.rs
    |

contrib/sync_db_pools/codegen/tests/ui-fail-nightly/database-types.stderr

@@ -11,6 +11,19 @@ note: required by a bound in `rocket_sync_db_pools::Connection`
    | pub struct Connection<K, C: Poolable> {
    |                             ^^^^^^^^ required by this bound in `rocket_sync_db_pools::Connection`
 
+error[E0277]: the trait bound `Vec<i32>: Poolable` is not satisfied
+  --> tests/ui-fail-nightly/database-types.rs:9:10
+   |
+9  | struct B(Vec<i32>);
+   |          ^^^^^^^^ the trait `Poolable` is not implemented for `Vec<i32>`
+   |
+   = help: the trait `Poolable` is implemented for `SqliteConnection`
+note: required by a bound in `rocket_sync_db_pools::Connection`
+  --> $WORKSPACE/contrib/sync_db_pools/lib/src/connection.rs
+   |
+   | pub struct Connection<K, C: Poolable> {
+   |                             ^^^^^^^^ required by this bound in `rocket_sync_db_pools::Connection`
+
 error[E0277]: the trait bound `Unknown: Poolable` is not satisfied
   --> tests/ui-fail-nightly/database-types.rs:5:1
    |
@@ -25,19 +38,6 @@ note: required by a bound in `ConnectionPool`
    |                                 ^^^^^^^^ required by this bound in `ConnectionPool`
    = note: this error originates in the attribute macro `database` (in Nightly builds, run with -Z macro-backtrace for more info)
 
-error[E0277]: the trait bound `Vec<i32>: Poolable` is not satisfied
-  --> tests/ui-fail-nightly/database-types.rs:9:10
-   |
-9  | struct B(Vec<i32>);
-   |          ^^^^^^^^ the trait `Poolable` is not implemented for `Vec<i32>`
-   |
-   = help: the trait `Poolable` is implemented for `SqliteConnection`
-note: required by a bound in `rocket_sync_db_pools::Connection`
-  --> $WORKSPACE/contrib/sync_db_pools/lib/src/connection.rs
-   |
-   | pub struct Connection<K, C: Poolable> {
-   |                             ^^^^^^^^ required by this bound in `rocket_sync_db_pools::Connection`
-
 error[E0277]: the trait bound `Vec<i32>: Poolable` is not satisfied
   --> tests/ui-fail-nightly/database-types.rs:8:1
    |

contrib/sync_db_pools/codegen/tests/ui-fail-stable/database-types.stderr

@@ -4,6 +4,7 @@ error[E0277]: the trait bound `Unknown: Poolable` is not satisfied
 6  | struct A(Unknown);
    |          ^^^^^^^ the trait `Poolable` is not implemented for `Unknown`
    |
+   = help: the trait `Poolable` is implemented for `SqliteConnection`
 note: required by a bound in `rocket_sync_db_pools::Connection`
   --> $WORKSPACE/contrib/sync_db_pools/lib/src/connection.rs
    |
@@ -16,6 +17,7 @@ error[E0277]: the trait bound `Unknown: Poolable` is not satisfied
 5  | #[database("foo")]
    | ^^^^^^^^^^^^^^^^^^ the trait `Poolable` is not implemented for `Unknown`
    |
+   = help: the trait `Poolable` is implemented for `SqliteConnection`
 note: required by a bound in `ConnectionPool`
   --> $WORKSPACE/contrib/sync_db_pools/lib/src/connection.rs
    |
@@ -29,6 +31,7 @@ error[E0277]: the trait bound `Vec<i32>: Poolable` is not satisfied
 9  | struct B(Vec<i32>);
    |          ^^^ the trait `Poolable` is not implemented for `Vec<i32>`
    |
+   = help: the trait `Poolable` is implemented for `SqliteConnection`
 note: required by a bound in `rocket_sync_db_pools::Connection`
   --> $WORKSPACE/contrib/sync_db_pools/lib/src/connection.rs
    |
@@ -41,6 +44,7 @@ error[E0277]: the trait bound `Vec<i32>: Poolable` is not satisfied
 8  | #[database("foo")]
    | ^^^^^^^^^^^^^^^^^^ the trait `Poolable` is not implemented for `Vec<i32>`
    |
+   = help: the trait `Poolable` is implemented for `SqliteConnection`
 note: required by a bound in `ConnectionPool`
   --> $WORKSPACE/contrib/sync_db_pools/lib/src/connection.rs
    |

core/codegen/tests/ui-fail-nightly/catch.stderr

@@ -68,7 +68,7 @@ error[E0308]: arguments to this function are incorrect
 30 | fn f3(_request: &Request, other: bool) { }
    |    ^^           --------         ---- an argument of type `bool` is missing
    |                 |
-   |                 argument of type `&rocket::Request<'_>` unexpected
+   |                 argument of type `Status` unexpected
    |
 note: function defined here
   --> tests/ui-fail-nightly/catch.rs:30:4

core/codegen/tests/ui-fail-nightly/catch_type_errors.stderr

@@ -1,10 +1,8 @@
 error[E0277]: the trait bound `usize: Responder<'_, '_>` is not satisfied
- --> tests/ui-fail-nightly/catch_type_errors.rs:6:30
+ --> tests/ui-fail-nightly/catch_type_errors.rs:5:1
   |
 5 | #[catch(404)]
-  | ------------- required by a bound introduced by this call
+  | ^^^^^^^^^^^^^ the trait `Responder<'_, '_>` is not implemented for `usize`
-6 | fn f1(_request: &Request) -> usize {
-  |                              ^^^^^ the trait `Responder<'_, '_>` is not implemented for `usize`
   |
   = help: the following other types implement trait `Responder<'r, 'o>`:
             <&'o [u8] as Responder<'r, 'o>>
@@ -16,14 +14,13 @@ error[E0277]: the trait bound `usize: Responder<'_, '_>` is not satisfied
             <Arc<[u8]> as Responder<'r, 'static>>
             <Arc<str> as Responder<'r, 'static>>
           and 40 others
+  = note: this error originates in the attribute macro `catch` (in Nightly builds, run with -Z macro-backtrace for more info)
 
 error[E0277]: the trait bound `bool: Responder<'_, '_>` is not satisfied
-  --> tests/ui-fail-nightly/catch_type_errors.rs:11:30
+  --> tests/ui-fail-nightly/catch_type_errors.rs:10:1
    |
 10 | #[catch(404)]
-   | ------------- required by a bound introduced by this call
+   | ^^^^^^^^^^^^^ the trait `Responder<'_, '_>` is not implemented for `bool`
-11 | fn f2(_request: &Request) -> bool {
-   |                              ^^^^ the trait `Responder<'_, '_>` is not implemented for `bool`
    |
    = help: the following other types implement trait `Responder<'r, 'o>`:
              <&'o [u8] as Responder<'r, 'o>>
@@ -35,6 +32,7 @@ error[E0277]: the trait bound `bool: Responder<'_, '_>` is not satisfied
              <Arc<[u8]> as Responder<'r, 'static>>
              <Arc<str> as Responder<'r, 'static>>
            and 40 others
+   = note: this error originates in the attribute macro `catch` (in Nightly builds, run with -Z macro-backtrace for more info)
 
 error[E0308]: mismatched types
   --> tests/ui-fail-nightly/catch_type_errors.rs:16:17
@@ -51,12 +49,10 @@ note: function defined here
    |    ^^-
 
 error[E0277]: the trait bound `usize: Responder<'_, '_>` is not satisfied
-  --> tests/ui-fail-nightly/catch_type_errors.rs:16:26
+  --> tests/ui-fail-nightly/catch_type_errors.rs:15:1
    |
 15 | #[catch(404)]
-   | ------------- required by a bound introduced by this call
+   | ^^^^^^^^^^^^^ the trait `Responder<'_, '_>` is not implemented for `usize`
-16 | fn f3(_request: bool) -> usize {
-   |                          ^^^^^ the trait `Responder<'_, '_>` is not implemented for `usize`
    |
    = help: the following other types implement trait `Responder<'r, 'o>`:
              <&'o [u8] as Responder<'r, 'o>>
@@ -68,14 +64,13 @@ error[E0277]: the trait bound `usize: Responder<'_, '_>` is not satisfied
              <Arc<[u8]> as Responder<'r, 'static>>
              <Arc<str> as Responder<'r, 'static>>
            and 40 others
+   = note: this error originates in the attribute macro `catch` (in Nightly builds, run with -Z macro-backtrace for more info)
 
 error[E0277]: the trait bound `usize: Responder<'_, '_>` is not satisfied
-  --> tests/ui-fail-nightly/catch_type_errors.rs:21:12
+  --> tests/ui-fail-nightly/catch_type_errors.rs:20:1
    |
 20 | #[catch(404)]
-   | ------------- required by a bound introduced by this call
+   | ^^^^^^^^^^^^^ the trait `Responder<'_, '_>` is not implemented for `usize`
-21 | fn f4() -> usize {
-   |            ^^^^^ the trait `Responder<'_, '_>` is not implemented for `usize`
    |
    = help: the following other types implement trait `Responder<'r, 'o>`:
              <&'o [u8] as Responder<'r, 'o>>
@@ -87,3 +82,4 @@ error[E0277]: the trait bound `usize: Responder<'_, '_>` is not satisfied
              <Arc<[u8]> as Responder<'r, 'static>>
              <Arc<str> as Responder<'r, 'static>>
            and 40 others
+   = note: this error originates in the attribute macro `catch` (in Nightly builds, run with -Z macro-backtrace for more info)

core/codegen/tests/ui-fail-stable/catch_type_errors.stderr

@@ -5,6 +5,17 @@ error[E0277]: the trait bound `usize: Responder<'_, '_>` is not satisfied
   | ------------- required by a bound introduced by this call
 6 | fn f1(_request: &Request) -> usize {
   |                              ^^^^^ the trait `Responder<'_, '_>` is not implemented for `usize`
+  |
+  = help: the following other types implement trait `Responder<'r, 'o>`:
+            <&'o [u8] as Responder<'r, 'o>>
+            <&'o str as Responder<'r, 'o>>
+            <() as Responder<'r, 'static>>
+            <(ContentType, R) as Responder<'r, 'o>>
+            <(Status, R) as Responder<'r, 'o>>
+            <Accepted<R> as Responder<'r, 'o>>
+            <Arc<[u8]> as Responder<'r, 'static>>
+            <Arc<str> as Responder<'r, 'static>>
+          and 40 others
 
 error[E0277]: the trait bound `bool: Responder<'_, '_>` is not satisfied
   --> tests/ui-fail-stable/catch_type_errors.rs:11:30
@@ -13,6 +24,17 @@ error[E0277]: the trait bound `bool: Responder<'_, '_>` is not satisfied
    | ------------- required by a bound introduced by this call
 11 | fn f2(_request: &Request) -> bool {
    |                              ^^^^ the trait `Responder<'_, '_>` is not implemented for `bool`
+   |
+   = help: the following other types implement trait `Responder<'r, 'o>`:
+             <&'o [u8] as Responder<'r, 'o>>
+             <&'o str as Responder<'r, 'o>>
+             <() as Responder<'r, 'static>>
+             <(ContentType, R) as Responder<'r, 'o>>
+             <(Status, R) as Responder<'r, 'o>>
+             <Accepted<R> as Responder<'r, 'o>>
+             <Arc<[u8]> as Responder<'r, 'static>>
+             <Arc<str> as Responder<'r, 'static>>
+           and 40 others
 
 error[E0308]: mismatched types
   --> tests/ui-fail-stable/catch_type_errors.rs:16:17
@@ -27,6 +49,17 @@ error[E0277]: the trait bound `usize: Responder<'_, '_>` is not satisfied
    | ------------- required by a bound introduced by this call
 16 | fn f3(_request: bool) -> usize {
    |                          ^^^^^ the trait `Responder<'_, '_>` is not implemented for `usize`
+   |
+   = help: the following other types implement trait `Responder<'r, 'o>`:
+             <&'o [u8] as Responder<'r, 'o>>
+             <&'o str as Responder<'r, 'o>>
+             <() as Responder<'r, 'static>>
+             <(ContentType, R) as Responder<'r, 'o>>
+             <(Status, R) as Responder<'r, 'o>>
+             <Accepted<R> as Responder<'r, 'o>>
+             <Arc<[u8]> as Responder<'r, 'static>>
+             <Arc<str> as Responder<'r, 'static>>
+           and 40 others
 
 error[E0277]: the trait bound `usize: Responder<'_, '_>` is not satisfied
   --> tests/ui-fail-stable/catch_type_errors.rs:21:12
@@ -35,3 +68,14 @@ error[E0277]: the trait bound `usize: Responder<'_, '_>` is not satisfied
    | ------------- required by a bound introduced by this call
 21 | fn f4() -> usize {
    |            ^^^^^ the trait `Responder<'_, '_>` is not implemented for `usize`
+   |
+   = help: the following other types implement trait `Responder<'r, 'o>`:
+             <&'o [u8] as Responder<'r, 'o>>
+             <&'o str as Responder<'r, 'o>>
+             <() as Responder<'r, 'static>>
+             <(ContentType, R) as Responder<'r, 'o>>
+             <(Status, R) as Responder<'r, 'o>>
+             <Accepted<R> as Responder<'r, 'o>>
+             <Arc<[u8]> as Responder<'r, 'static>>
+             <Arc<str> as Responder<'r, 'static>>
+           and 40 others

core/codegen/tests/ui-fail-stable/from_form_type_errors.stderr

@@ -1,15 +1,35 @@
 error[E0277]: the trait bound `Unknown: FromFormField<'_>` is not satisfied
- --> $DIR/from_form_type_errors.rs:7:12
+ --> tests/ui-fail-stable/from_form_type_errors.rs:7:12
   |
 7 |     field: Unknown,
   |            ^^^^^^^ the trait `FromFormField<'_>` is not implemented for `Unknown`
   |
+  = help: the following other types implement trait `FromFormField<'v>`:
+            &'v str
+            Capped<&'v str>
+            Capped<Cow<'v, str>>
+            Capped<TempFile<'v>>
+            Capped<std::string::String>
+            Cow<'v, str>
+            IpAddr
+            Ipv4Addr
+          and 38 others
   = note: required because of the requirements on the impl of `FromForm<'r>` for `Unknown`
 
 error[E0277]: the trait bound `Foo<usize>: FromFormField<'_>` is not satisfied
-  --> $DIR/from_form_type_errors.rs:14:12
+  --> tests/ui-fail-stable/from_form_type_errors.rs:14:12
    |
 14 |     field: Foo<usize>,
    |            ^^^ the trait `FromFormField<'_>` is not implemented for `Foo<usize>`
    |
+   = help: the following other types implement trait `FromFormField<'v>`:
+             &'v str
+             Capped<&'v str>
+             Capped<Cow<'v, str>>
+             Capped<TempFile<'v>>
+             Capped<std::string::String>
+             Cow<'v, str>
+             IpAddr
+             Ipv4Addr
+           and 38 others
    = note: required because of the requirements on the impl of `FromForm<'r>` for `Foo<usize>`

core/codegen/tests/ui-fail-stable/responder-types.stderr

@@ -3,6 +3,17 @@ error[E0277]: the trait bound `u8: Responder<'_, '_>` is not satisfied
   |
 5 |     thing: u8,
   |     ^^^^^ the trait `Responder<'_, '_>` is not implemented for `u8`
+  |
+  = help: the following other types implement trait `Responder<'r, 'o>`:
+            <&'o [u8] as Responder<'r, 'o>>
+            <&'o str as Responder<'r, 'o>>
+            <() as Responder<'r, 'static>>
+            <(ContentType, R) as Responder<'r, 'o>>
+            <(Status, R) as Responder<'r, 'o>>
+            <Accepted<R> as Responder<'r, 'o>>
+            <Arc<[u8]> as Responder<'r, 'static>>
+            <Arc<str> as Responder<'r, 'static>>
+          and 44 others
 
 error[E0277]: the trait bound `Header<'_>: From<u8>` is not satisfied
    --> tests/ui-fail-stable/responder-types.rs:11:5
@@ -10,12 +21,16 @@ error[E0277]: the trait bound `Header<'_>: From<u8>` is not satisfied
 11  |     other: u8,
     |     ^^^^^ the trait `From<u8>` is not implemented for `Header<'_>`
     |
-    = help: the following implementations were found:
+    = help: the following other types implement trait `From<T>`:
               <Header<'static> as From<&Cookie<'_>>>
               <Header<'static> as From<&ExpectCt>>
               <Header<'static> as From<&Frame>>
               <Header<'static> as From<&Hsts>>
-            and 8 others
+              <Header<'static> as From<&NoSniff>>
+              <Header<'static> as From<&Permission>>
+              <Header<'static> as From<&Prefetch>>
+              <Header<'static> as From<&Referrer>>
+            and 4 others
     = note: required because of the requirements on the impl of `Into<Header<'_>>` for `u8`
 note: required by a bound in `rocket::Response::<'r>::set_header`
    --> $WORKSPACE/core/lib/src/response/response.rs
@@ -28,6 +43,17 @@ error[E0277]: the trait bound `u8: Responder<'_, '_>` is not satisfied
    |
 16 |     thing: u8,
    |     ^^^^^ the trait `Responder<'_, '_>` is not implemented for `u8`
+   |
+   = help: the following other types implement trait `Responder<'r, 'o>`:
+             <&'o [u8] as Responder<'r, 'o>>
+             <&'o str as Responder<'r, 'o>>
+             <() as Responder<'r, 'static>>
+             <(ContentType, R) as Responder<'r, 'o>>
+             <(Status, R) as Responder<'r, 'o>>
+             <Accepted<R> as Responder<'r, 'o>>
+             <Arc<[u8]> as Responder<'r, 'static>>
+             <Arc<str> as Responder<'r, 'static>>
+           and 44 others
 
 error[E0277]: the trait bound `Header<'_>: From<u8>` is not satisfied
    --> tests/ui-fail-stable/responder-types.rs:17:5
@@ -35,12 +61,16 @@ error[E0277]: the trait bound `Header<'_>: From<u8>` is not satisfied
 17  |     other: u8,
     |     ^^^^^ the trait `From<u8>` is not implemented for `Header<'_>`
     |
-    = help: the following implementations were found:
+    = help: the following other types implement trait `From<T>`:
               <Header<'static> as From<&Cookie<'_>>>
               <Header<'static> as From<&ExpectCt>>
               <Header<'static> as From<&Frame>>
               <Header<'static> as From<&Hsts>>
-            and 8 others
+              <Header<'static> as From<&NoSniff>>
+              <Header<'static> as From<&Permission>>
+              <Header<'static> as From<&Prefetch>>
+              <Header<'static> as From<&Referrer>>
+            and 4 others
     = note: required because of the requirements on the impl of `Into<Header<'_>>` for `u8`
 note: required by a bound in `rocket::Response::<'r>::set_header`
    --> $WORKSPACE/core/lib/src/response/response.rs
@@ -54,12 +84,16 @@ error[E0277]: the trait bound `Header<'_>: From<std::string::String>` is not sat
 24  |     then: String,
     |     ^^^^ the trait `From<std::string::String>` is not implemented for `Header<'_>`
     |
-    = help: the following implementations were found:
+    = help: the following other types implement trait `From<T>`:
               <Header<'static> as From<&Cookie<'_>>>
               <Header<'static> as From<&ExpectCt>>
               <Header<'static> as From<&Frame>>
               <Header<'static> as From<&Hsts>>
-            and 8 others
+              <Header<'static> as From<&NoSniff>>
+              <Header<'static> as From<&Permission>>
+              <Header<'static> as From<&Prefetch>>
+              <Header<'static> as From<&Referrer>>
+            and 4 others
     = note: required because of the requirements on the impl of `Into<Header<'_>>` for `std::string::String`
 note: required by a bound in `rocket::Response::<'r>::set_header`
    --> $WORKSPACE/core/lib/src/response/response.rs
@@ -73,6 +107,16 @@ error[E0277]: the trait bound `usize: Responder<'_, '_>` is not satisfied
 28  | fn foo() -> usize { 0 }
     |             ^^^^^ the trait `Responder<'_, '_>` is not implemented for `usize`
     |
+    = help: the following other types implement trait `Responder<'r, 'o>`:
+              <&'o [u8] as Responder<'r, 'o>>
+              <&'o str as Responder<'r, 'o>>
+              <() as Responder<'r, 'static>>
+              <(ContentType, R) as Responder<'r, 'o>>
+              <(Status, R) as Responder<'r, 'o>>
+              <Accepted<R> as Responder<'r, 'o>>
+              <Arc<[u8]> as Responder<'r, 'static>>
+              <Arc<str> as Responder<'r, 'static>>
+            and 44 others
 note: required by a bound in `route::handler::<impl Outcome<rocket::Response<'o>, Status, rocket::Data<'o>>>::from`
    --> $WORKSPACE/core/lib/src/route/handler.rs
     |

core/codegen/tests/ui-fail-stable/route-type-errors.stderr

@@ -3,12 +3,29 @@ error[E0277]: the trait bound `Q: FromParam<'_>` is not satisfied
   |
 6 | fn f0(foo: Q) {}
   |            ^ the trait `FromParam<'_>` is not implemented for `Q`
+  |
+  = help: the following other types implement trait `FromParam<'a>`:
+            &'a str
+            IpAddr
+            Ipv4Addr
+            Ipv6Addr
+            NonZeroI128
+            NonZeroI16
+            NonZeroI32
+            NonZeroI64
+          and 30 others
 
 error[E0277]: the trait bound `Q: FromSegments<'_>` is not satisfied
  --> tests/ui-fail-stable/route-type-errors.rs:9:12
   |
 9 | fn f1(foo: Q) {}
   |            ^ the trait `FromSegments<'_>` is not implemented for `Q`
+  |
+  = help: the following other types implement trait `FromSegments<'r>`:
+            <PathBuf as FromSegments<'_>>
+            <Result<T, <T as FromSegments<'r>>::Error> as FromSegments<'r>>
+            <Segments<'r, rocket::http::uri::fmt::Path> as FromSegments<'r>>
+            <std::option::Option<T> as FromSegments<'r>>
 
 error[E0277]: the trait bound `Q: FromFormField<'_>` is not satisfied
   --> tests/ui-fail-stable/route-type-errors.rs:12:12
@@ -16,6 +33,16 @@ error[E0277]: the trait bound `Q: FromFormField<'_>` is not satisfied
 12 | fn f2(foo: Q) {}
    |            ^ the trait `FromFormField<'_>` is not implemented for `Q`
    |
+   = help: the following other types implement trait `FromFormField<'v>`:
+             &'v str
+             Capped<&'v str>
+             Capped<Cow<'v, str>>
+             Capped<TempFile<'v>>
+             Capped<std::string::String>
+             Cow<'v, str>
+             IpAddr
+             Ipv4Addr
+           and 38 others
    = note: required because of the requirements on the impl of `FromForm<'_>` for `Q`
 
 error[E0277]: the trait bound `Q: FromFormField<'_>` is not satisfied
@@ -24,6 +51,16 @@ error[E0277]: the trait bound `Q: FromFormField<'_>` is not satisfied
 15 | fn f3(foo: Q) {}
    |            ^ the trait `FromFormField<'_>` is not implemented for `Q`
    |
+   = help: the following other types implement trait `FromFormField<'v>`:
+             &'v str
+             Capped<&'v str>
+             Capped<Cow<'v, str>>
+             Capped<TempFile<'v>>
+             Capped<std::string::String>
+             Cow<'v, str>
+             IpAddr
+             Ipv4Addr
+           and 38 others
    = note: required because of the requirements on the impl of `FromForm<'_>` for `Q`
 
 error[E0277]: the trait bound `Q: FromData<'_>` is not satisfied
@@ -31,33 +68,99 @@ error[E0277]: the trait bound `Q: FromData<'_>` is not satisfied
    |
 18 | fn f4(foo: Q) {}
    |            ^ the trait `FromData<'_>` is not implemented for `Q`
+   |
+   = help: the following other types implement trait `FromData<'r>`:
+             &'r RawStr
+             &'r [u8]
+             &'r str
+             Capped<&'r RawStr>
+             Capped<&'r [u8]>
+             Capped<&'r str>
+             Capped<Cow<'impl0, str>>
+             Capped<TempFile<'impl0>>
+           and 12 others
 
 error[E0277]: the trait bound `Q: FromRequest<'_>` is not satisfied
   --> tests/ui-fail-stable/route-type-errors.rs:21:10
    |
 21 | fn f5(a: Q, foo: Q) {}
    |          ^ the trait `FromRequest<'_>` is not implemented for `Q`
+   |
+   = help: the following other types implement trait `FromRequest<'r>`:
+             &'r ContentType
+             &'r Host<'r>
+             &'r Limits
+             &'r Route
+             &'r rocket::Config
+             &'r rocket::State<T>
+             &'r rocket::http::Accept
+             &'r rocket::http::CookieJar<'r>
+           and 8 others
 
 error[E0277]: the trait bound `Q: FromParam<'_>` is not satisfied
   --> tests/ui-fail-stable/route-type-errors.rs:21:18
    |
 21 | fn f5(a: Q, foo: Q) {}
    |                  ^ the trait `FromParam<'_>` is not implemented for `Q`
+   |
+   = help: the following other types implement trait `FromParam<'a>`:
+             &'a str
+             IpAddr
+             Ipv4Addr
+             Ipv6Addr
+             NonZeroI128
+             NonZeroI16
+             NonZeroI32
+             NonZeroI64
+           and 30 others
 
 error[E0277]: the trait bound `Q: FromRequest<'_>` is not satisfied
   --> tests/ui-fail-stable/route-type-errors.rs:24:10
    |
 24 | fn f6(a: Q, foo: Q, good: usize, bar: Q) {}
    |          ^ the trait `FromRequest<'_>` is not implemented for `Q`
+   |
+   = help: the following other types implement trait `FromRequest<'r>`:
+             &'r ContentType
+             &'r Host<'r>
+             &'r Limits
+             &'r Route
+             &'r rocket::Config
+             &'r rocket::State<T>
+             &'r rocket::http::Accept
+             &'r rocket::http::CookieJar<'r>
+           and 8 others
 
 error[E0277]: the trait bound `Q: FromParam<'_>` is not satisfied
   --> tests/ui-fail-stable/route-type-errors.rs:24:18
    |
 24 | fn f6(a: Q, foo: Q, good: usize, bar: Q) {}
    |                  ^ the trait `FromParam<'_>` is not implemented for `Q`
+   |
+   = help: the following other types implement trait `FromParam<'a>`:
+             &'a str
+             IpAddr
+             Ipv4Addr
+             Ipv6Addr
+             NonZeroI128
+             NonZeroI16
+             NonZeroI32
+             NonZeroI64
+           and 30 others
 
 error[E0277]: the trait bound `Q: FromParam<'_>` is not satisfied
   --> tests/ui-fail-stable/route-type-errors.rs:24:39
    |
 24 | fn f6(a: Q, foo: Q, good: usize, bar: Q) {}
    |                                       ^ the trait `FromParam<'_>` is not implemented for `Q`
+   |
+   = help: the following other types implement trait `FromParam<'a>`:
+             &'a str
+             IpAddr
+             Ipv4Addr
+             Ipv6Addr
+             NonZeroI128
+             NonZeroI16
+             NonZeroI32
+             NonZeroI64
+           and 30 others

core/codegen/tests/ui-fail-stable/typed-uri-bad-type.stderr

@@ -4,12 +4,16 @@ error[E0277]: the trait bound `usize: FromUriParam<rocket::http::uri::fmt::Path,
 45 |     uri!(simple(id = "hi"));
    |                      ^^^^ the trait `FromUriParam<rocket::http::uri::fmt::Path, &str>` is not implemented for `usize`
    |
-   = help: the following implementations were found:
+   = help: the following other types implement trait `FromUriParam<P, T>`:
-             <usize as FromUriParam<P, &'x mut usize>>
-             <usize as FromUriParam<P, &'x usize>>
-             <usize as FromUriParam<P, usize>>
              <f32 as FromUriParam<P, &'x f32>>
-           and 38 others
+             <f32 as FromUriParam<P, &'x mut f32>>
+             <f32 as FromUriParam<P, f32>>
+             <f64 as FromUriParam<P, &'x f64>>
+             <f64 as FromUriParam<P, &'x mut f64>>
+             <f64 as FromUriParam<P, f64>>
+             <i128 as FromUriParam<P, &'x i128>>
+             <i128 as FromUriParam<P, &'x mut i128>>
+           and 34 others
 
 error[E0277]: the trait bound `usize: FromUriParam<rocket::http::uri::fmt::Path, &str>` is not satisfied
   --> tests/ui-fail-stable/typed-uri-bad-type.rs:47:17
@@ -17,12 +21,16 @@ error[E0277]: the trait bound `usize: FromUriParam<rocket::http::uri::fmt::Path,
 47 |     uri!(simple("hello"));
    |                 ^^^^^^^ the trait `FromUriParam<rocket::http::uri::fmt::Path, &str>` is not implemented for `usize`
    |
-   = help: the following implementations were found:
+   = help: the following other types implement trait `FromUriParam<P, T>`:
-             <usize as FromUriParam<P, &'x mut usize>>
-             <usize as FromUriParam<P, &'x usize>>
-             <usize as FromUriParam<P, usize>>
              <f32 as FromUriParam<P, &'x f32>>
-           and 38 others
+             <f32 as FromUriParam<P, &'x mut f32>>
+             <f32 as FromUriParam<P, f32>>
+             <f64 as FromUriParam<P, &'x f64>>
+             <f64 as FromUriParam<P, &'x mut f64>>
+             <f64 as FromUriParam<P, f64>>
+             <i128 as FromUriParam<P, &'x i128>>
+             <i128 as FromUriParam<P, &'x mut i128>>
+           and 34 others
 
 error[E0277]: the trait bound `usize: FromUriParam<rocket::http::uri::fmt::Path, i64>` is not satisfied
   --> tests/ui-fail-stable/typed-uri-bad-type.rs:49:22
@@ -30,18 +38,33 @@ error[E0277]: the trait bound `usize: FromUriParam<rocket::http::uri::fmt::Path,
 49 |     uri!(simple(id = 239239i64));
    |                      ^^^^^^^^^ the trait `FromUriParam<rocket::http::uri::fmt::Path, i64>` is not implemented for `usize`
    |
-   = help: the following implementations were found:
+   = help: the following other types implement trait `FromUriParam<P, T>`:
-             <usize as FromUriParam<P, &'x mut usize>>
-             <usize as FromUriParam<P, &'x usize>>
-             <usize as FromUriParam<P, usize>>
              <f32 as FromUriParam<P, &'x f32>>
-           and 38 others
+             <f32 as FromUriParam<P, &'x mut f32>>
+             <f32 as FromUriParam<P, f32>>
+             <f64 as FromUriParam<P, &'x f64>>
+             <f64 as FromUriParam<P, &'x mut f64>>
+             <f64 as FromUriParam<P, f64>>
+             <i128 as FromUriParam<P, &'x i128>>
+             <i128 as FromUriParam<P, &'x mut i128>>
+           and 34 others
 
 error[E0277]: the trait bound `S: FromUriParam<rocket::http::uri::fmt::Path, _>` is not satisfied
   --> tests/ui-fail-stable/typed-uri-bad-type.rs:51:30
    |
 51 |     uri!(not_uri_display(10, S));
    |                              ^ the trait `FromUriParam<rocket::http::uri::fmt::Path, _>` is not implemented for `S`
+   |
+   = help: the following other types implement trait `FromUriParam<P, T>`:
+             <&'a std::path::Path as FromUriParam<rocket::http::uri::fmt::Path, &'a std::path::Path>>
+             <&'a std::path::Path as FromUriParam<rocket::http::uri::fmt::Path, &'x &'a std::path::Path>>
+             <&'a std::path::Path as FromUriParam<rocket::http::uri::fmt::Path, &'x PathBuf>>
+             <&'a std::path::Path as FromUriParam<rocket::http::uri::fmt::Path, &'x mut &'a std::path::Path>>
+             <&'a std::path::Path as FromUriParam<rocket::http::uri::fmt::Path, &'x mut PathBuf>>
+             <&'a std::path::Path as FromUriParam<rocket::http::uri::fmt::Path, PathBuf>>
+             <&'a str as FromUriParam<P, &'a str>>
+             <&'a str as FromUriParam<P, &'x &'a str>>
+           and 155 others
 
 error[E0277]: the trait bound `i32: FromUriParam<rocket::http::uri::fmt::Path, std::option::Option<{integer}>>` is not satisfied
   --> tests/ui-fail-stable/typed-uri-bad-type.rs:56:25
@@ -49,12 +72,16 @@ error[E0277]: the trait bound `i32: FromUriParam<rocket::http::uri::fmt::Path, s
 56 |     uri!(optionals(id = Some(10), name = Ok("bob".into())));
    |                         ^^^^ the trait `FromUriParam<rocket::http::uri::fmt::Path, std::option::Option<{integer}>>` is not implemented for `i32`
    |
-   = help: the following implementations were found:
+   = help: the following other types implement trait `FromUriParam<P, T>`:
-             <i32 as FromUriParam<P, &'x i32>>
-             <i32 as FromUriParam<P, &'x mut i32>>
-             <i32 as FromUriParam<P, i32>>
              <f32 as FromUriParam<P, &'x f32>>
-           and 38 others
+             <f32 as FromUriParam<P, &'x mut f32>>
+             <f32 as FromUriParam<P, f32>>
+             <f64 as FromUriParam<P, &'x f64>>
+             <f64 as FromUriParam<P, &'x mut f64>>
+             <f64 as FromUriParam<P, f64>>
+             <i128 as FromUriParam<P, &'x i128>>
+             <i128 as FromUriParam<P, &'x mut i128>>
+           and 34 others
    = note: required because of the requirements on the impl of `FromUriParam<rocket::http::uri::fmt::Path, std::option::Option<{integer}>>` for `std::option::Option<i32>`
 
 error[E0277]: the trait bound `std::string::String: FromUriParam<rocket::http::uri::fmt::Path, Result<_, _>>` is not satisfied
@@ -63,12 +90,16 @@ error[E0277]: the trait bound `std::string::String: FromUriParam<rocket::http::u
 56 |     uri!(optionals(id = Some(10), name = Ok("bob".into())));
    |                                          ^^ the trait `FromUriParam<rocket::http::uri::fmt::Path, Result<_, _>>` is not implemented for `std::string::String`
    |
-   = help: the following implementations were found:
+   = help: the following other types implement trait `FromUriParam<P, T>`:
+             <&'a str as FromUriParam<P, &'a str>>
+             <&'a str as FromUriParam<P, &'x &'a str>>
+             <&'a str as FromUriParam<P, &'x mut &'a str>>
+             <&'a str as FromUriParam<P, &'x mut std::string::String>>
+             <&'a str as FromUriParam<P, &'x std::string::String>>
+             <&'a str as FromUriParam<P, std::string::String>>
              <std::string::String as FromUriParam<P, &'a str>>
              <std::string::String as FromUriParam<P, &'x &'a str>>
-             <std::string::String as FromUriParam<P, &'x mut &'a str>>
+           and 4 others
-             <std::string::String as FromUriParam<P, &'x mut std::string::String>>
-           and 8 others
    = note: required because of the requirements on the impl of `FromUriParam<rocket::http::uri::fmt::Path, Result<_, _>>` for `Result<std::string::String, &str>`
 
 error[E0277]: the trait bound `isize: FromUriParam<rocket::http::uri::fmt::Query, &str>` is not satisfied
@@ -77,12 +108,16 @@ error[E0277]: the trait bound `isize: FromUriParam<rocket::http::uri::fmt::Query
 58 |     uri!(simple_q("hi"));
    |                   ^^^^ the trait `FromUriParam<rocket::http::uri::fmt::Query, &str>` is not implemented for `isize`
    |
-   = help: the following implementations were found:
+   = help: the following other types implement trait `FromUriParam<P, T>`:
-             <isize as FromUriParam<P, &'x isize>>
-             <isize as FromUriParam<P, &'x mut isize>>
-             <isize as FromUriParam<P, isize>>
              <f32 as FromUriParam<P, &'x f32>>
-           and 38 others
+             <f32 as FromUriParam<P, &'x mut f32>>
+             <f32 as FromUriParam<P, f32>>
+             <f64 as FromUriParam<P, &'x f64>>
+             <f64 as FromUriParam<P, &'x mut f64>>
+             <f64 as FromUriParam<P, f64>>
+             <i128 as FromUriParam<P, &'x i128>>
+             <i128 as FromUriParam<P, &'x mut i128>>
+           and 34 others
 
 error[E0277]: the trait bound `isize: FromUriParam<rocket::http::uri::fmt::Query, &str>` is not satisfied
   --> tests/ui-fail-stable/typed-uri-bad-type.rs:60:24
@@ -90,24 +125,50 @@ error[E0277]: the trait bound `isize: FromUriParam<rocket::http::uri::fmt::Query
 60 |     uri!(simple_q(id = "hi"));
    |                        ^^^^ the trait `FromUriParam<rocket::http::uri::fmt::Query, &str>` is not implemented for `isize`
    |
-   = help: the following implementations were found:
+   = help: the following other types implement trait `FromUriParam<P, T>`:
-             <isize as FromUriParam<P, &'x isize>>
-             <isize as FromUriParam<P, &'x mut isize>>
-             <isize as FromUriParam<P, isize>>
              <f32 as FromUriParam<P, &'x f32>>
-           and 38 others
+             <f32 as FromUriParam<P, &'x mut f32>>
+             <f32 as FromUriParam<P, f32>>
+             <f64 as FromUriParam<P, &'x f64>>
+             <f64 as FromUriParam<P, &'x mut f64>>
+             <f64 as FromUriParam<P, f64>>
+             <i128 as FromUriParam<P, &'x i128>>
+             <i128 as FromUriParam<P, &'x mut i128>>
+           and 34 others
 
 error[E0277]: the trait bound `S: FromUriParam<rocket::http::uri::fmt::Query, _>` is not satisfied
   --> tests/ui-fail-stable/typed-uri-bad-type.rs:62:23
    |
 62 |     uri!(other_q(100, S));
    |                       ^ the trait `FromUriParam<rocket::http::uri::fmt::Query, _>` is not implemented for `S`
+   |
+   = help: the following other types implement trait `FromUriParam<P, T>`:
+             <&'a std::path::Path as FromUriParam<rocket::http::uri::fmt::Path, &'a std::path::Path>>
+             <&'a std::path::Path as FromUriParam<rocket::http::uri::fmt::Path, &'x &'a std::path::Path>>
+             <&'a std::path::Path as FromUriParam<rocket::http::uri::fmt::Path, &'x PathBuf>>
+             <&'a std::path::Path as FromUriParam<rocket::http::uri::fmt::Path, &'x mut &'a std::path::Path>>
+             <&'a std::path::Path as FromUriParam<rocket::http::uri::fmt::Path, &'x mut PathBuf>>
+             <&'a std::path::Path as FromUriParam<rocket::http::uri::fmt::Path, PathBuf>>
+             <&'a str as FromUriParam<P, &'a str>>
+             <&'a str as FromUriParam<P, &'x &'a str>>
+           and 155 others
 
 error[E0277]: the trait bound `S: FromUriParam<rocket::http::uri::fmt::Query, _>` is not satisfied
   --> tests/ui-fail-stable/typed-uri-bad-type.rs:64:25
    |
 64 |     uri!(other_q(rest = S, id = 100));
    |                         ^ the trait `FromUriParam<rocket::http::uri::fmt::Query, _>` is not implemented for `S`
+   |
+   = help: the following other types implement trait `FromUriParam<P, T>`:
+             <&'a std::path::Path as FromUriParam<rocket::http::uri::fmt::Path, &'a std::path::Path>>
+             <&'a std::path::Path as FromUriParam<rocket::http::uri::fmt::Path, &'x &'a std::path::Path>>
+             <&'a std::path::Path as FromUriParam<rocket::http::uri::fmt::Path, &'x PathBuf>>
+             <&'a std::path::Path as FromUriParam<rocket::http::uri::fmt::Path, &'x mut &'a std::path::Path>>
+             <&'a std::path::Path as FromUriParam<rocket::http::uri::fmt::Path, &'x mut PathBuf>>
+             <&'a std::path::Path as FromUriParam<rocket::http::uri::fmt::Path, PathBuf>>
+             <&'a str as FromUriParam<P, &'a str>>
+             <&'a str as FromUriParam<P, &'x &'a str>>
+           and 155 others
 
 error[E0277]: the trait bound `S: Ignorable<rocket::http::uri::fmt::Query>` is not satisfied
    --> tests/ui-fail-stable/typed-uri-bad-type.rs:66:25
@@ -115,6 +176,9 @@ error[E0277]: the trait bound `S: Ignorable<rocket::http::uri::fmt::Query>` is n
 66  |     uri!(other_q(rest = _, id = 100));
     |                         ^ the trait `Ignorable<rocket::http::uri::fmt::Query>` is not implemented for `S`
     |
+    = help: the following other types implement trait `Ignorable<P>`:
+              Result<T, E>
+              std::option::Option<T>
 note: required by a bound in `assert_ignorable`
    --> $WORKSPACE/core/http/src/uri/fmt/uri_display.rs
     |
@@ -127,6 +191,9 @@ error[E0277]: the trait bound `usize: Ignorable<rocket::http::uri::fmt::Query>`
 68  |     uri!(other_q(rest = S, id = _));
     |                                 ^ the trait `Ignorable<rocket::http::uri::fmt::Query>` is not implemented for `usize`
     |
+    = help: the following other types implement trait `Ignorable<P>`:
+              Result<T, E>
+              std::option::Option<T>
 note: required by a bound in `assert_ignorable`
    --> $WORKSPACE/core/http/src/uri/fmt/uri_display.rs
     |
@@ -138,6 +205,17 @@ error[E0277]: the trait bound `S: FromUriParam<rocket::http::uri::fmt::Query, _>
    |
 68 |     uri!(other_q(rest = S, id = _));
    |                         ^ the trait `FromUriParam<rocket::http::uri::fmt::Query, _>` is not implemented for `S`
+   |
+   = help: the following other types implement trait `FromUriParam<P, T>`:
+             <&'a std::path::Path as FromUriParam<rocket::http::uri::fmt::Path, &'a std::path::Path>>
+             <&'a std::path::Path as FromUriParam<rocket::http::uri::fmt::Path, &'x &'a std::path::Path>>
+             <&'a std::path::Path as FromUriParam<rocket::http::uri::fmt::Path, &'x PathBuf>>
+             <&'a std::path::Path as FromUriParam<rocket::http::uri::fmt::Path, &'x mut &'a std::path::Path>>
+             <&'a std::path::Path as FromUriParam<rocket::http::uri::fmt::Path, &'x mut PathBuf>>
+             <&'a std::path::Path as FromUriParam<rocket::http::uri::fmt::Path, PathBuf>>
+             <&'a str as FromUriParam<P, &'a str>>
+             <&'a str as FromUriParam<P, &'x &'a str>>
+           and 155 others
 
 error[E0277]: the trait bound `usize: FromUriParam<rocket::http::uri::fmt::Path, &str>` is not satisfied
   --> tests/ui-fail-stable/typed-uri-bad-type.rs:77:40
@@ -145,12 +223,16 @@ error[E0277]: the trait bound `usize: FromUriParam<rocket::http::uri::fmt::Path,
 77 |     uri!(uri!("?foo#bar"), simple(id = "hi"));
    |                                        ^^^^ the trait `FromUriParam<rocket::http::uri::fmt::Path, &str>` is not implemented for `usize`
    |
-   = help: the following implementations were found:
+   = help: the following other types implement trait `FromUriParam<P, T>`:
-             <usize as FromUriParam<P, &'x mut usize>>
-             <usize as FromUriParam<P, &'x usize>>
-             <usize as FromUriParam<P, usize>>
              <f32 as FromUriParam<P, &'x f32>>
-           and 38 others
+             <f32 as FromUriParam<P, &'x mut f32>>
+             <f32 as FromUriParam<P, f32>>
+             <f64 as FromUriParam<P, &'x f64>>
+             <f64 as FromUriParam<P, &'x mut f64>>
+             <f64 as FromUriParam<P, f64>>
+             <i128 as FromUriParam<P, &'x i128>>
+             <i128 as FromUriParam<P, &'x mut i128>>
+           and 34 others
 
 error[E0277]: the trait bound `rocket::http::uri::Reference<'_>: ValidRoutePrefix` is not satisfied
    --> tests/ui-fail-stable/typed-uri-bad-type.rs:77:15
@@ -160,6 +242,9 @@ error[E0277]: the trait bound `rocket::http::uri::Reference<'_>: ValidRoutePrefi
     |          |
     |          required by a bound introduced by this call
     |
+    = help: the following other types implement trait `ValidRoutePrefix`:
+              rocket::http::uri::Absolute<'a>
+              rocket::http::uri::Origin<'a>
 note: required by a bound in `RouteUriBuilder::with_prefix`
    --> $WORKSPACE/core/http/src/uri/fmt/formatter.rs
     |
@@ -172,12 +257,16 @@ error[E0277]: the trait bound `usize: FromUriParam<rocket::http::uri::fmt::Path,
 78 |     uri!(uri!("*"), simple(id = "hi"));
    |                                 ^^^^ the trait `FromUriParam<rocket::http::uri::fmt::Path, &str>` is not implemented for `usize`
    |
-   = help: the following implementations were found:
+   = help: the following other types implement trait `FromUriParam<P, T>`:
-             <usize as FromUriParam<P, &'x mut usize>>
-             <usize as FromUriParam<P, &'x usize>>
-             <usize as FromUriParam<P, usize>>
              <f32 as FromUriParam<P, &'x f32>>
-           and 38 others
+             <f32 as FromUriParam<P, &'x mut f32>>
+             <f32 as FromUriParam<P, f32>>
+             <f64 as FromUriParam<P, &'x f64>>
+             <f64 as FromUriParam<P, &'x mut f64>>
+             <f64 as FromUriParam<P, f64>>
+             <i128 as FromUriParam<P, &'x i128>>
+             <i128 as FromUriParam<P, &'x mut i128>>
+           and 34 others
 
 error[E0277]: the trait bound `rocket::http::uri::Asterisk: ValidRoutePrefix` is not satisfied
    --> tests/ui-fail-stable/typed-uri-bad-type.rs:78:15
@@ -187,6 +276,9 @@ error[E0277]: the trait bound `rocket::http::uri::Asterisk: ValidRoutePrefix` is
     |          |
     |          required by a bound introduced by this call
     |
+    = help: the following other types implement trait `ValidRoutePrefix`:
+              rocket::http::uri::Absolute<'a>
+              rocket::http::uri::Origin<'a>
 note: required by a bound in `RouteUriBuilder::with_prefix`
    --> $WORKSPACE/core/http/src/uri/fmt/formatter.rs
     |
@@ -199,12 +291,16 @@ error[E0277]: the trait bound `usize: FromUriParam<rocket::http::uri::fmt::Path,
 81 |     uri!(_, simple(id = "hi"), uri!("*"));
    |                         ^^^^ the trait `FromUriParam<rocket::http::uri::fmt::Path, &str>` is not implemented for `usize`
    |
-   = help: the following implementations were found:
+   = help: the following other types implement trait `FromUriParam<P, T>`:
-             <usize as FromUriParam<P, &'x mut usize>>
-             <usize as FromUriParam<P, &'x usize>>
-             <usize as FromUriParam<P, usize>>
              <f32 as FromUriParam<P, &'x f32>>
-           and 38 others
+             <f32 as FromUriParam<P, &'x mut f32>>
+             <f32 as FromUriParam<P, f32>>
+             <f64 as FromUriParam<P, &'x f64>>
+             <f64 as FromUriParam<P, &'x mut f64>>
+             <f64 as FromUriParam<P, f64>>
+             <i128 as FromUriParam<P, &'x i128>>
+             <i128 as FromUriParam<P, &'x mut i128>>
+           and 34 others
 
 error[E0277]: the trait bound `rocket::http::uri::Asterisk: ValidRouteSuffix<rocket::http::uri::Origin<'static>>` is not satisfied
    --> tests/ui-fail-stable/typed-uri-bad-type.rs:81:37
@@ -214,6 +310,11 @@ error[E0277]: the trait bound `rocket::http::uri::Asterisk: ValidRouteSuffix<roc
     |                                |
     |                                required by a bound introduced by this call
     |
+    = help: the following other types implement trait `ValidRouteSuffix<T>`:
+              <rocket::http::uri::Absolute<'a> as ValidRouteSuffix<rocket::http::uri::Absolute<'a>>>
+              <rocket::http::uri::Absolute<'a> as ValidRouteSuffix<rocket::http::uri::Origin<'a>>>
+              <rocket::http::uri::Reference<'a> as ValidRouteSuffix<rocket::http::uri::Absolute<'a>>>
+              <rocket::http::uri::Reference<'a> as ValidRouteSuffix<rocket::http::uri::Origin<'a>>>
 note: required by a bound in `RouteUriBuilder::with_suffix`
    --> $WORKSPACE/core/http/src/uri/fmt/formatter.rs
     |
@@ -226,12 +327,16 @@ error[E0277]: the trait bound `usize: FromUriParam<rocket::http::uri::fmt::Path,
 82 |     uri!(_, simple(id = "hi"), uri!("/foo/bar"));
    |                         ^^^^ the trait `FromUriParam<rocket::http::uri::fmt::Path, &str>` is not implemented for `usize`
    |
-   = help: the following implementations were found:
+   = help: the following other types implement trait `FromUriParam<P, T>`:
-             <usize as FromUriParam<P, &'x mut usize>>
-             <usize as FromUriParam<P, &'x usize>>
-             <usize as FromUriParam<P, usize>>
              <f32 as FromUriParam<P, &'x f32>>
-           and 38 others
+             <f32 as FromUriParam<P, &'x mut f32>>
+             <f32 as FromUriParam<P, f32>>
+             <f64 as FromUriParam<P, &'x f64>>
+             <f64 as FromUriParam<P, &'x mut f64>>
+             <f64 as FromUriParam<P, f64>>
+             <i128 as FromUriParam<P, &'x i128>>
+             <i128 as FromUriParam<P, &'x mut i128>>
+           and 34 others
 
 error[E0277]: the trait bound `rocket::http::uri::Origin<'_>: ValidRouteSuffix<rocket::http::uri::Origin<'static>>` is not satisfied
    --> tests/ui-fail-stable/typed-uri-bad-type.rs:82:37
@@ -241,6 +346,11 @@ error[E0277]: the trait bound `rocket::http::uri::Origin<'_>: ValidRouteSuffix<r
     |                                |
     |                                required by a bound introduced by this call
     |
+    = help: the following other types implement trait `ValidRouteSuffix<T>`:
+              <rocket::http::uri::Absolute<'a> as ValidRouteSuffix<rocket::http::uri::Absolute<'a>>>
+              <rocket::http::uri::Absolute<'a> as ValidRouteSuffix<rocket::http::uri::Origin<'a>>>
+              <rocket::http::uri::Reference<'a> as ValidRouteSuffix<rocket::http::uri::Absolute<'a>>>
+              <rocket::http::uri::Reference<'a> as ValidRouteSuffix<rocket::http::uri::Origin<'a>>>
 note: required by a bound in `RouteUriBuilder::with_suffix`
    --> $WORKSPACE/core/http/src/uri/fmt/formatter.rs
     |

core/codegen/tests/ui-fail-stable/uri_display_type_errors.stderr

@@ -4,6 +4,16 @@ error[E0277]: the trait bound `BadType: UriDisplay<rocket::http::uri::fmt::Query
 6   | struct Bar1(BadType);
     |             ^^^^^^^ the trait `UriDisplay<rocket::http::uri::fmt::Query>` is not implemented for `BadType`
     |
+    = help: the following other types implement trait `UriDisplay<P>`:
+              <&T as UriDisplay<P>>
+              <&mut T as UriDisplay<P>>
+              <BTreeMap<K, V> as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar1 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar2 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar3 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar4 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar5 as UriDisplay<rocket::http::uri::fmt::Query>>
+            and 48 others
     = note: required because of the requirements on the impl of `UriDisplay<rocket::http::uri::fmt::Query>` for `&BadType`
 note: required by a bound in `rocket::http::uri::fmt::Formatter::<'i, P>::write_value`
    --> $WORKSPACE/core/http/src/uri/fmt/formatter.rs
@@ -17,6 +27,16 @@ error[E0277]: the trait bound `BadType: UriDisplay<rocket::http::uri::fmt::Query
 10  |     field: BadType,
     |     ^^^^^ the trait `UriDisplay<rocket::http::uri::fmt::Query>` is not implemented for `BadType`
     |
+    = help: the following other types implement trait `UriDisplay<P>`:
+              <&T as UriDisplay<P>>
+              <&mut T as UriDisplay<P>>
+              <BTreeMap<K, V> as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar1 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar2 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar3 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar4 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar5 as UriDisplay<rocket::http::uri::fmt::Query>>
+            and 48 others
     = note: required because of the requirements on the impl of `UriDisplay<rocket::http::uri::fmt::Query>` for `&BadType`
 note: required by a bound in `rocket::http::uri::fmt::Formatter::<'_, rocket::http::uri::fmt::Query>::write_named_value`
    --> $WORKSPACE/core/http/src/uri/fmt/formatter.rs
@@ -30,6 +50,16 @@ error[E0277]: the trait bound `BadType: UriDisplay<rocket::http::uri::fmt::Query
 16  |     bad: BadType,
     |     ^^^ the trait `UriDisplay<rocket::http::uri::fmt::Query>` is not implemented for `BadType`
     |
+    = help: the following other types implement trait `UriDisplay<P>`:
+              <&T as UriDisplay<P>>
+              <&mut T as UriDisplay<P>>
+              <BTreeMap<K, V> as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar1 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar2 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar3 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar4 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar5 as UriDisplay<rocket::http::uri::fmt::Query>>
+            and 48 others
     = note: required because of the requirements on the impl of `UriDisplay<rocket::http::uri::fmt::Query>` for `&BadType`
 note: required by a bound in `rocket::http::uri::fmt::Formatter::<'_, rocket::http::uri::fmt::Query>::write_named_value`
    --> $WORKSPACE/core/http/src/uri/fmt/formatter.rs
@@ -43,6 +73,16 @@ error[E0277]: the trait bound `BadType: UriDisplay<rocket::http::uri::fmt::Query
 21  |     Inner(BadType),
     |           ^^^^^^^ the trait `UriDisplay<rocket::http::uri::fmt::Query>` is not implemented for `BadType`
     |
+    = help: the following other types implement trait `UriDisplay<P>`:
+              <&T as UriDisplay<P>>
+              <&mut T as UriDisplay<P>>
+              <BTreeMap<K, V> as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar1 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar2 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar3 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar4 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar5 as UriDisplay<rocket::http::uri::fmt::Query>>
+            and 48 others
     = note: required because of the requirements on the impl of `UriDisplay<rocket::http::uri::fmt::Query>` for `&BadType`
     = note: 1 redundant requirement hidden
     = note: required because of the requirements on the impl of `UriDisplay<rocket::http::uri::fmt::Query>` for `&&BadType`
@@ -58,6 +98,16 @@ error[E0277]: the trait bound `BadType: UriDisplay<rocket::http::uri::fmt::Query
 27  |         field: BadType,
     |         ^^^^^ the trait `UriDisplay<rocket::http::uri::fmt::Query>` is not implemented for `BadType`
     |
+    = help: the following other types implement trait `UriDisplay<P>`:
+              <&T as UriDisplay<P>>
+              <&mut T as UriDisplay<P>>
+              <BTreeMap<K, V> as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar1 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar2 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar3 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar4 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar5 as UriDisplay<rocket::http::uri::fmt::Query>>
+            and 48 others
     = note: required because of the requirements on the impl of `UriDisplay<rocket::http::uri::fmt::Query>` for `&BadType`
     = note: 1 redundant requirement hidden
     = note: required because of the requirements on the impl of `UriDisplay<rocket::http::uri::fmt::Query>` for `&&BadType`
@@ -73,6 +123,16 @@ error[E0277]: the trait bound `BadType: UriDisplay<rocket::http::uri::fmt::Query
 35  |         other: BadType,
     |         ^^^^^ the trait `UriDisplay<rocket::http::uri::fmt::Query>` is not implemented for `BadType`
     |
+    = help: the following other types implement trait `UriDisplay<P>`:
+              <&T as UriDisplay<P>>
+              <&mut T as UriDisplay<P>>
+              <BTreeMap<K, V> as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar1 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar2 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar3 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar4 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar5 as UriDisplay<rocket::http::uri::fmt::Query>>
+            and 48 others
     = note: required because of the requirements on the impl of `UriDisplay<rocket::http::uri::fmt::Query>` for `&BadType`
     = note: 1 redundant requirement hidden
     = note: required because of the requirements on the impl of `UriDisplay<rocket::http::uri::fmt::Query>` for `&&BadType`
@@ -88,6 +148,16 @@ error[E0277]: the trait bound `BadType: UriDisplay<rocket::http::uri::fmt::Path>
 40  | struct Baz(BadType);
     |            ^^^^^^^ the trait `UriDisplay<rocket::http::uri::fmt::Path>` is not implemented for `BadType`
     |
+    = help: the following other types implement trait `UriDisplay<P>`:
+              <&T as UriDisplay<P>>
+              <&mut T as UriDisplay<P>>
+              <BTreeMap<K, V> as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar1 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar2 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar3 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar4 as UriDisplay<rocket::http::uri::fmt::Query>>
+              <Bar5 as UriDisplay<rocket::http::uri::fmt::Query>>
+            and 48 others
     = note: required because of the requirements on the impl of `UriDisplay<rocket::http::uri::fmt::Path>` for `&BadType`
 note: required by a bound in `rocket::http::uri::fmt::Formatter::<'i, P>::write_value`
    --> $WORKSPACE/core/http/src/uri/fmt/formatter.rs