diff --git a/core/codegen/tests/ui-fail-nightly/responder-types.stderr b/core/codegen/tests/ui-fail-nightly/responder-types.stderr index 84995fe0..5592f216 100644 --- a/core/codegen/tests/ui-fail-nightly/responder-types.stderr +++ b/core/codegen/tests/ui-fail-nightly/responder-types.stderr @@ -1,8 +1,8 @@ error[E0277]: the trait bound `u8: Responder<'_, '_>` is not satisfied - --> tests/ui-fail-nightly/responder-types.rs:5:5 + --> tests/ui-fail-nightly/responder-types.rs:5:12 | 5 | thing: u8, - | ^^^^^^^^^ the trait `Responder<'_, '_>` is not implemented for `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>> @@ -39,10 +39,10 @@ note: required by a bound in `rocket::Response::<'r>::set_header` | ^^^^^^^^^^^^^^^^ required by this bound in `Response::<'r>::set_header` error[E0277]: the trait bound `u8: Responder<'_, '_>` is not satisfied - --> tests/ui-fail-nightly/responder-types.rs:16:5 + --> tests/ui-fail-nightly/responder-types.rs:16:12 | 16 | thing: u8, - | ^^^^^^^^^ the trait `Responder<'_, '_>` is not implemented for `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>> diff --git a/core/codegen/tests/ui-fail-nightly/typed-uri-bad-type.stderr b/core/codegen/tests/ui-fail-nightly/typed-uri-bad-type.stderr index 9d41bd6b..388e1f08 100644 --- a/core/codegen/tests/ui-fail-nightly/typed-uri-bad-type.stderr +++ b/core/codegen/tests/ui-fail-nightly/typed-uri-bad-type.stderr @@ -11,10 +11,10 @@ error[E0271]: type mismatch resolving `>::Error == &str` | ^^^^^^^^^^^^^^^^^^^^ expected `&str`, found `Infallible` error[E0277]: the trait bound `usize: FromUriParam` is not satisfied - --> tests/ui-fail-nightly/typed-uri-bad-type.rs:45:22 + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:45:5 | 45 | uri!(simple(id = "hi")); - | ^^^^ the trait `FromUriParam` is not implemented for `usize` + | ^^^^^^^^^^^^^^^^^^^^^^^ the trait `FromUriParam` is not implemented for `usize` | = help: the following other types implement trait `FromUriParam`: > @@ -22,10 +22,10 @@ error[E0277]: the trait bound `usize: FromUriParam> error[E0277]: the trait bound `usize: FromUriParam` is not satisfied - --> tests/ui-fail-nightly/typed-uri-bad-type.rs:47:17 + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:47:5 | 47 | uri!(simple("hello")); - | ^^^^^^^ the trait `FromUriParam` is not implemented for `usize` + | ^^^^^^^^^^^^^^^^^^^^^ the trait `FromUriParam` is not implemented for `usize` | = help: the following other types implement trait `FromUriParam`: > @@ -33,16 +33,33 @@ error[E0277]: the trait bound `usize: FromUriParam> error[E0277]: the trait bound `usize: FromUriParam` is not satisfied - --> tests/ui-fail-nightly/typed-uri-bad-type.rs:49:22 + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:49:5 | 49 | uri!(simple(id = 239239i64)); - | ^^^^^^^^^ the trait `FromUriParam` is not implemented for `usize` + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `FromUriParam` is not implemented for `usize` | = help: the following other types implement trait `FromUriParam`: > > > +error[E0277]: the trait bound `S: FromUriParam` is not satisfied + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:51:5 + | +51 | uri!(not_uri_display(10, S)); + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `FromUriParam` is not implemented for `S` + | + = help: the following other types implement trait `FromUriParam`: + > + > + > + > + > + > + > + > + and $N others + error[E0277]: the trait bound `S: FromUriParam` is not satisfied --> tests/ui-fail-nightly/typed-uri-bad-type.rs:51:30 | @@ -61,10 +78,10 @@ error[E0277]: the trait bound `S: FromUriParam` and $N others error[E0277]: the trait bound `i32: FromUriParam>` is not satisfied - --> tests/ui-fail-nightly/typed-uri-bad-type.rs:56:25 + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:56:5 | 56 | uri!(optionals(id = Some(10), name = Ok("bob".into()))); - | ^^^^^^^^ the trait `FromUriParam>` is not implemented for `i32` + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `FromUriParam>` is not implemented for `i32` | = help: the following other types implement trait `FromUriParam`: > @@ -73,10 +90,10 @@ error[E0277]: the trait bound `i32: FromUriParam` to implement `FromUriParam>` error[E0277]: the trait bound `std::string::String: FromUriParam>` is not satisfied - --> tests/ui-fail-nightly/typed-uri-bad-type.rs:56:42 + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:56:5 | 56 | uri!(optionals(id = Some(10), name = Ok("bob".into()))); - | ^^^^^^^^^^^^^^^^ the trait `FromUriParam>` is not implemented for `std::string::String` + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `FromUriParam>` is not implemented for `std::string::String` | = help: the following other types implement trait `FromUriParam`: > @@ -88,10 +105,10 @@ error[E0277]: the trait bound `std::string::String: FromUriParam` to implement `FromUriParam>` error[E0277]: the trait bound `isize: FromUriParam` is not satisfied - --> tests/ui-fail-nightly/typed-uri-bad-type.rs:58:19 + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:58:5 | 58 | uri!(simple_q("hi")); - | ^^^^ the trait `FromUriParam` is not implemented for `isize` + | ^^^^^^^^^^^^^^^^^^^^ the trait `FromUriParam` is not implemented for `isize` | = help: the following other types implement trait `FromUriParam`: > @@ -99,16 +116,33 @@ error[E0277]: the trait bound `isize: FromUriParam> error[E0277]: the trait bound `isize: FromUriParam` is not satisfied - --> tests/ui-fail-nightly/typed-uri-bad-type.rs:60:24 + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:60:5 | 60 | uri!(simple_q(id = "hi")); - | ^^^^ the trait `FromUriParam` is not implemented for `isize` + | ^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `FromUriParam` is not implemented for `isize` | = help: the following other types implement trait `FromUriParam`: > > > +error[E0277]: the trait bound `S: FromUriParam` is not satisfied + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:62:5 + | +62 | uri!(other_q(100, S)); + | ^^^^^^^^^^^^^^^^^^^^^ the trait `FromUriParam` is not implemented for `S` + | + = help: the following other types implement trait `FromUriParam`: + > + > + > + > + > + > + > + > + and $N others + error[E0277]: the trait bound `S: FromUriParam` is not satisfied --> tests/ui-fail-nightly/typed-uri-bad-type.rs:62:23 | @@ -126,6 +160,23 @@ error[E0277]: the trait bound `S: FromUriParam <&'a str as FromUriParam> and $N others +error[E0277]: the trait bound `S: FromUriParam` is not satisfied + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:64:5 + | +64 | uri!(other_q(rest = S, id = 100)); + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `FromUriParam` is not implemented for `S` + | + = help: the following other types implement trait `FromUriParam`: + > + > + > + > + > + > + > + > + and $N others + error[E0277]: the trait bound `S: FromUriParam` is not satisfied --> tests/ui-fail-nightly/typed-uri-bad-type.rs:64:25 | @@ -173,6 +224,23 @@ note: required by a bound in `assert_ignorable` | pub fn assert_ignorable>() { } | ^^^^^^^^^^^^ required by this bound in `assert_ignorable` +error[E0277]: the trait bound `S: FromUriParam` is not satisfied + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:68:5 + | +68 | uri!(other_q(rest = S, id = _)); + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `FromUriParam` is not implemented for `S` + | + = help: the following other types implement trait `FromUriParam`: + > + > + > + > + > + > + > + > + and $N others + error[E0277]: the trait bound `S: FromUriParam` is not satisfied --> tests/ui-fail-nightly/typed-uri-bad-type.rs:68:25 | @@ -191,10 +259,10 @@ error[E0277]: the trait bound `S: FromUriParam and $N others error[E0277]: the trait bound `usize: FromUriParam` is not satisfied - --> tests/ui-fail-nightly/typed-uri-bad-type.rs:77:40 + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:77:5 | 77 | uri!(uri!("?foo#bar"), simple(id = "hi")); - | ^^^^ the trait `FromUriParam` is not implemented for `usize` + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `FromUriParam` is not implemented for `usize` | = help: the following other types implement trait `FromUriParam`: > @@ -220,10 +288,10 @@ note: required by a bound in `RouteUriBuilder::with_prefix` | ^^^^^^^^^^^^^^^^ required by this bound in `RouteUriBuilder::with_prefix` error[E0277]: the trait bound `usize: FromUriParam` is not satisfied - --> tests/ui-fail-nightly/typed-uri-bad-type.rs:78:33 + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:78:5 | 78 | uri!(uri!("*"), simple(id = "hi")); - | ^^^^ the trait `FromUriParam` is not implemented for `usize` + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `FromUriParam` is not implemented for `usize` | = help: the following other types implement trait `FromUriParam`: > @@ -249,10 +317,10 @@ note: required by a bound in `RouteUriBuilder::with_prefix` | ^^^^^^^^^^^^^^^^ required by this bound in `RouteUriBuilder::with_prefix` error[E0277]: the trait bound `usize: FromUriParam` is not satisfied - --> tests/ui-fail-nightly/typed-uri-bad-type.rs:81:25 + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:81:5 | 81 | uri!(_, simple(id = "hi"), uri!("*")); - | ^^^^ the trait `FromUriParam` is not implemented for `usize` + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `FromUriParam` is not implemented for `usize` | = help: the following other types implement trait `FromUriParam`: > @@ -280,10 +348,10 @@ note: required by a bound in `RouteUriBuilder::with_suffix` | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `RouteUriBuilder::with_suffix` error[E0277]: the trait bound `usize: FromUriParam` is not satisfied - --> tests/ui-fail-nightly/typed-uri-bad-type.rs:82:25 + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:82:5 | 82 | uri!(_, simple(id = "hi"), uri!("/foo/bar")); - | ^^^^ the trait `FromUriParam` is not implemented for `usize` + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `FromUriParam` is not implemented for `usize` | = help: the following other types implement trait `FromUriParam`: > @@ -309,3 +377,114 @@ note: required by a bound in `RouteUriBuilder::with_suffix` | | where S: ValidRouteSuffix> | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `RouteUriBuilder::with_suffix` + +error[E0277]: the trait bound `usize: FromUriParam` is not satisfied + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:45:22 + | +45 | uri!(simple(id = "hi")); + | ^^^^ the trait `FromUriParam` is not implemented for `usize` + | + = help: the following other types implement trait `FromUriParam`: + > + > + > + +error[E0277]: the trait bound `usize: FromUriParam` is not satisfied + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:47:17 + | +47 | uri!(simple("hello")); + | ^^^^^^^ the trait `FromUriParam` is not implemented for `usize` + | + = help: the following other types implement trait `FromUriParam`: + > + > + > + +error[E0277]: the trait bound `usize: FromUriParam` is not satisfied + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:49:22 + | +49 | uri!(simple(id = 239239i64)); + | ^^^^^^^^^ the trait `FromUriParam` is not implemented for `usize` + | + = help: the following other types implement trait `FromUriParam`: + > + > + > + +error[E0277]: the trait bound `i32: FromUriParam>` is not satisfied + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:56:25 + | +56 | uri!(optionals(id = Some(10), name = Ok("bob".into()))); + | ^^^^^^^^ the trait `FromUriParam>` is not implemented for `i32` + | + = help: the following other types implement trait `FromUriParam`: + > + > + > + = note: required for `std::option::Option` to implement `FromUriParam>` + +error[E0277]: the trait bound `isize: FromUriParam` is not satisfied + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:58:19 + | +58 | uri!(simple_q("hi")); + | ^^^^ the trait `FromUriParam` is not implemented for `isize` + | + = help: the following other types implement trait `FromUriParam`: + > + > + > + +error[E0277]: the trait bound `isize: FromUriParam` is not satisfied + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:60:24 + | +60 | uri!(simple_q(id = "hi")); + | ^^^^ the trait `FromUriParam` is not implemented for `isize` + | + = help: the following other types implement trait `FromUriParam`: + > + > + > + +error[E0277]: the trait bound `usize: FromUriParam` is not satisfied + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:77:40 + | +77 | uri!(uri!("?foo#bar"), simple(id = "hi")); + | ^^^^ the trait `FromUriParam` is not implemented for `usize` + | + = help: the following other types implement trait `FromUriParam`: + > + > + > + +error[E0277]: the trait bound `usize: FromUriParam` is not satisfied + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:78:33 + | +78 | uri!(uri!("*"), simple(id = "hi")); + | ^^^^ the trait `FromUriParam` is not implemented for `usize` + | + = help: the following other types implement trait `FromUriParam`: + > + > + > + +error[E0277]: the trait bound `usize: FromUriParam` is not satisfied + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:81:25 + | +81 | uri!(_, simple(id = "hi"), uri!("*")); + | ^^^^ the trait `FromUriParam` is not implemented for `usize` + | + = help: the following other types implement trait `FromUriParam`: + > + > + > + +error[E0277]: the trait bound `usize: FromUriParam` is not satisfied + --> tests/ui-fail-nightly/typed-uri-bad-type.rs:82:25 + | +82 | uri!(_, simple(id = "hi"), uri!("/foo/bar")); + | ^^^^ the trait `FromUriParam` is not implemented for `usize` + | + = help: the following other types implement trait `FromUriParam`: + > + > + > diff --git a/core/codegen/tests/ui-fail-stable/from_form.stderr b/core/codegen/tests/ui-fail-stable/from_form.stderr index a6acfa24..4ef0d317 100644 --- a/core/codegen/tests/ui-fail-stable/from_form.stderr +++ b/core/codegen/tests/ui-fail-stable/from_form.stderr @@ -523,6 +523,9 @@ help: the type constructed contains `{integer}` due to the type of the argument | ^^^ this argument influences the type of `Some` note: tuple variant defined here --> $RUST/core/src/option.rs + | + | Some(#[stable(feature = "rust1", since = "1.0.0")] T), + | ^^^^ error[E0308]: mismatched types --> tests/ui-fail-stable/from_form.rs:203:33 @@ -542,6 +545,9 @@ help: the type constructed contains `&'static str` due to the type of the argume | this argument influences the type of `Some` note: tuple variant defined here --> $RUST/core/src/option.rs + | + | Some(#[stable(feature = "rust1", since = "1.0.0")] T), + | ^^^^ error[E0277]: the trait bound `bool: From<&str>` is not satisfied --> tests/ui-fail-stable/from_form.rs:209:23