itsscb/serde
1
0
Fork 0
mirror of https://github.com/serde-rs/serde.git synced 2025-09-28 13:30:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add ui test of unimplemented trait required by dependency

Browse Source
This commit is contained in:
David Tolnay 2025-09-12 18:08:26 -07:00
parent 3e1cf11060
commit 908f32175a
No known key found for this signature in database
GPG Key ID: F9BA143B95FF6D82
2 changed files with 119 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
test_suite/tests/ui/unimplemented/required_by_dependency.rs Normal file
View File

@ -0,0 +1,6 @@
struct MyStruct;
fn main() {
serde_test::assert_ser_tokens(&MyStruct, &[]);
serde_test::assert_de_tokens(&MyStruct, &[]);
}

113
test_suite/tests/ui/unimplemented/required_by_dependency.stderr Normal file
View File

@ -0,0 +1,113 @@
error[E0277]: the trait bound `MyStruct: serde_core::ser::Serialize` is not satisfied
--> tests/ui/unimplemented/required_by_dependency.rs:4:35
|
4 | serde_test::assert_ser_tokens(&MyStruct, &[]);
| ----------------------------- ^^^^^^^^^ unsatisfied trait bound
| |
| required by a bound introduced by this call
|
help: the trait `serde_core::ser::Serialize` is not implemented for `MyStruct`
--> tests/ui/unimplemented/required_by_dependency.rs:1:1
|
1 | struct MyStruct;
| ^^^^^^^^^^^^^^^
= note: for local types consider adding `#[derive(serde::Serialize)]` to your `MyStruct` type
= note: for types from other crates check whether the crate offers a `serde` feature flag
= help: the following other types implement trait `serde_core::ser::Serialize`:
&'a T
&'a mut T
()
(T,)
(T0, T1)
(T0, T1, T2)
(T0, T1, T2, T3)
(T0, T1, T2, T3, T4)
and $N others
note: required by a bound in `assert_ser_tokens`
--> $CARGO/serde_test-$VERSION/src/assert.rs
|
| pub fn assert_ser_tokens<T>(value: &T, tokens: &[Token])
| ----------------- required by a bound in this function
| where
| T: ?Sized + Serialize,
| ^^^^^^^^^ required by this bound in `assert_ser_tokens`
error[E0277]: the trait bound `MyStruct: serde_core::de::Deserialize<'_>` is not satisfied
--> tests/ui/unimplemented/required_by_dependency.rs:5:34
|
5 | serde_test::assert_de_tokens(&MyStruct, &[]);
| ---------------------------- ^^^^^^^^^ unsatisfied trait bound
| |
| required by a bound introduced by this call
|
help: the trait `serde_core::de::Deserialize<'_>` is not implemented for `MyStruct`
--> tests/ui/unimplemented/required_by_dependency.rs:1:1
|
1 | struct MyStruct;
| ^^^^^^^^^^^^^^^
= note: for local types consider adding `#[derive(serde::Deserialize)]` to your `MyStruct` type
= note: for types from other crates check whether the crate offers a `serde` feature flag
= help: the following other types implement trait `serde_core::de::Deserialize<'de>`:
&'a Path
&'a [u8]
&'a str
()
(T,)
(T0, T1)
(T0, T1, T2)
(T0, T1, T2, T3)
and $N others
note: required by a bound in `assert_de_tokens`
--> $CARGO/serde_test-$VERSION/src/assert.rs
|
| pub fn assert_de_tokens<'de, T>(value: &T, tokens: &'de [Token])
| ---------------- required by a bound in this function
| where
| T: Deserialize<'de> + PartialEq + Debug,
| ^^^^^^^^^^^^^^^^ required by this bound in `assert_de_tokens`
error[E0277]: can't compare `MyStruct` with `MyStruct`
--> tests/ui/unimplemented/required_by_dependency.rs:5:34
|
5 | serde_test::assert_de_tokens(&MyStruct, &[]);
| ---------------------------- ^^^^^^^^^ no implementation for `MyStruct == MyStruct`
| |
| required by a bound introduced by this call
|
= help: the trait `PartialEq` is not implemented for `MyStruct`
note: required by a bound in `assert_de_tokens`
--> $CARGO/serde_test-$VERSION/src/assert.rs
|
| pub fn assert_de_tokens<'de, T>(value: &T, tokens: &'de [Token])
| ---------------- required by a bound in this function
| where
| T: Deserialize<'de> + PartialEq + Debug,
| ^^^^^^^^^ required by this bound in `assert_de_tokens`
help: consider annotating `MyStruct` with `#[derive(PartialEq)]`
|
1 + #[derive(PartialEq)]
2 | struct MyStruct;
|
error[E0277]: `MyStruct` doesn't implement `Debug`
--> tests/ui/unimplemented/required_by_dependency.rs:5:34
|
5 | serde_test::assert_de_tokens(&MyStruct, &[]);
| ---------------------------- ^^^^^^^^^ the trait `Debug` is not implemented for `MyStruct`
| |
| required by a bound introduced by this call
|
= note: add `#[derive(Debug)]` to `MyStruct` or manually `impl Debug for MyStruct`
note: required by a bound in `assert_de_tokens`
--> $CARGO/serde_test-$VERSION/src/assert.rs
|
| pub fn assert_de_tokens<'de, T>(value: &T, tokens: &'de [Token])
| ---------------- required by a bound in this function
| where
| T: Deserialize<'de> + PartialEq + Debug,
| ^^^^^ required by this bound in `assert_de_tokens`
help: consider annotating `MyStruct` with `#[derive(Debug)]`
|
1 + #[derive(Debug)]
2 | struct MyStruct;
|