concise diagnostics for missing props (#3873)

Author: Madoshakalaka

.github/workflows/main-checks.yml

@@ -69,7 +69,7 @@ jobs:
       fail-fast: false
       matrix:
         toolchain:
-          - 1.76.0
+          - 1.78.0
           - stable
 
     steps:
@@ -120,7 +120,7 @@ jobs:
       fail-fast: false
       matrix:
         toolchain:
-          - 1.76.0
+          - 1.78.0
           - stable
           - nightly
 

examples/wasi_ssr_module/src/main.rs

@@ -54,7 +54,7 @@ pub async fn render() -> Result<String> {
 #[tokio::main(flavor = "current_thread")]
 async fn main() -> Result<()> {
     let ret = render().await?;
-    println!("{}", ret);
+    println!("{ret}");
 
     Ok(())
 }

examples/web_worker_fib/src/lib.rs

@@ -29,7 +29,7 @@ fn Main() -> Html {
                 // start the worker
                 let output_value = fib_agent.run(input_value).await;
 
-                output.set(format!("Fibonacci value: {}", output_value));
+                output.set(format!("Fibonacci value: {output_value}"));
             });
         }
     };

packages/yew-agent-macro/Cargo.toml

@@ -2,7 +2,7 @@
 name = "yew-agent-macro"
 version = "0.2.0"
 edition = "2021"
-rust-version = "1.76.0"
+rust-version = "1.78.0"
 authors = ["Kaede Hoshikawa <[email protected]>"]
 repository = "https://github.com/yewstack/yew"
 homepage = "https://yew.rs"

packages/yew-agent/Cargo.toml

@@ -9,7 +9,7 @@ edition = "2021"
 readme = "../../README.md"
 description = "Agents for Yew"
 license = "MIT OR Apache-2.0"
-rust-version = "1.76.0"
+rust-version = "1.78.0"
 
 [dependencies]
 yew = { version = "0.21.0", path = "../yew" }

packages/yew-macro/Cargo.toml

@@ -10,7 +10,7 @@ license = "MIT OR Apache-2.0"
 keywords = ["web", "wasm", "frontend", "webasm", "webassembly"]
 categories = ["gui", "web-programming", "wasm"]
 description = "A framework for making client-side single-page apps"
-rust-version = "1.76.0"
+rust-version = "1.78.0"
 
 [lib]
 proc-macro = true

packages/yew-macro/Makefile.toml

@@ -1,6 +1,6 @@
 [tasks.test]
 clear = true
-toolchain = "1.76.0"
+toolchain = "1.78.0"
 command = "cargo"
 # test target can be optionally specified like `cargo make test html_macro`,
 args = ["test", "${@}"]

packages/yew-macro/src/derive_props/builder.rs

@@ -142,11 +142,13 @@ impl PropsBuilder<'_> {
             #vis struct #check_all_props_name<How>(::std::marker::PhantomData<How>);
 
             #[automatically_derived]
+            #[diagnostic::do_not_recommend]
             impl<B, P, How> ::yew::html::HasProp<P, &dyn ::yew::html::HasProp<P, How>>
                 for #check_all_props_name<B>
                 where B: ::yew::html::HasProp<P, How> {}
 
             #[automatically_derived]
+            #[diagnostic::do_not_recommend]
             impl #check_impl_generics ::yew::html::HasAllProps<
                 #props_name #ty_generics ,
                 ( #( #check_args , )* ),

packages/yew-macro/src/derive_props/field.rs

@@ -245,9 +245,12 @@ impl PropFieldCheck<'_> {
             #vis struct #check_struct<How>(::std::marker::PhantomData<How>);
 
             #[automatically_derived]
+            #[diagnostic::do_not_recommend]
             impl<B> ::yew::html::HasProp< #prop_name_mod :: #prop_check_name, #check_struct<B>>
                 for #check_struct<B> {}
+
             #[automatically_derived]
+            #[diagnostic::do_not_recommend]
             impl<B, P, How> ::yew::html::HasProp<P, &dyn ::yew::html::HasProp<P, How>>
                 for #check_struct<B>
                 where B: ::yew::html::HasProp<P, How> {}

packages/yew-macro/tests/classes_macro/classes-fail.stderr

@@ -14,11 +14,11 @@ error[E0277]: the trait bound `Classes: From<{integer}>` is not satisfied
  --> tests/classes_macro/classes-fail.rs:4:14
   |
 4 |     classes!(42);
-  |              ^^ the trait `From<{integer}>` is not implemented for `Classes`
+  |              ^^ the trait `From<{integer}>` is not implemented for `Classes`, which is required by `{integer}: Into<Classes>`
   |
   = help: the following other types implement trait `From<T>`:
-            <Classes as From<Cow<'static, str>>>
             <Classes as From<implicit_clone::unsync::string::IString>>
+            <Classes as From<Cow<'static, str>>>
             <Classes as From<Vec<T>>>
             <Classes as From<String>>
             <Classes as From<Option<T>>>
@@ -37,11 +37,11 @@ error[E0277]: the trait bound `Classes: From<{float}>` is not satisfied
  --> tests/classes_macro/classes-fail.rs:5:14
   |
 5 |     classes!(42.0);
-  |              ^^^^ the trait `From<{float}>` is not implemented for `Classes`
+  |              ^^^^ the trait `From<{float}>` is not implemented for `Classes`, which is required by `{float}: Into<Classes>`
   |
   = help: the following other types implement trait `From<T>`:
-            <Classes as From<Cow<'static, str>>>
             <Classes as From<implicit_clone::unsync::string::IString>>
+            <Classes as From<Cow<'static, str>>>
             <Classes as From<Vec<T>>>
             <Classes as From<String>>
             <Classes as From<Option<T>>>
@@ -62,12 +62,12 @@ error[E0277]: the trait bound `Classes: From<{integer}>` is not satisfied
 9 |     classes!(vec![42]);
   |              ---^^^^^
   |              |
-  |              the trait `From<{integer}>` is not implemented for `Classes`
+  |              the trait `From<{integer}>` is not implemented for `Classes`, which is required by `Vec<{integer}>: Into<Classes>`
   |              required by a bound introduced by this call
   |
   = help: the following other types implement trait `From<T>`:
-            <Classes as From<Cow<'static, str>>>
             <Classes as From<implicit_clone::unsync::string::IString>>
+            <Classes as From<Cow<'static, str>>>
             <Classes as From<Vec<T>>>
             <Classes as From<String>>
             <Classes as From<Option<T>>>
@@ -89,11 +89,11 @@ error[E0277]: the trait bound `Classes: From<{integer}>` is not satisfied
   --> tests/classes_macro/classes-fail.rs:13:14
    |
 13 |     classes!(some);
-   |              ^^^^ the trait `From<{integer}>` is not implemented for `Classes`
+   |              ^^^^ the trait `From<{integer}>` is not implemented for `Classes`, which is required by `Option<{integer}>: Into<Classes>`
    |
    = help: the following other types implement trait `From<T>`:
-             <Classes as From<Cow<'static, str>>>
              <Classes as From<implicit_clone::unsync::string::IString>>
+             <Classes as From<Cow<'static, str>>>
              <Classes as From<Vec<T>>>
              <Classes as From<String>>
              <Classes as From<Option<T>>>
@@ -115,11 +115,11 @@ error[E0277]: the trait bound `Classes: From<u32>` is not satisfied
   --> tests/classes_macro/classes-fail.rs:14:14
    |
 14 |     classes!(none);
-   |              ^^^^ the trait `From<u32>` is not implemented for `Classes`
+   |              ^^^^ the trait `From<u32>` is not implemented for `Classes`, which is required by `Option<u32>: Into<Classes>`
    |
    = help: the following other types implement trait `From<T>`:
-             <Classes as From<Cow<'static, str>>>
              <Classes as From<implicit_clone::unsync::string::IString>>
+             <Classes as From<Cow<'static, str>>>
              <Classes as From<Vec<T>>>
              <Classes as From<String>>
              <Classes as From<Option<T>>>
@@ -141,11 +141,11 @@ error[E0277]: the trait bound `Classes: From<{integer}>` is not satisfied
   --> tests/classes_macro/classes-fail.rs:16:21
    |
 16 |     classes!("one", 42);
-   |                     ^^ the trait `From<{integer}>` is not implemented for `Classes`
+   |                     ^^ the trait `From<{integer}>` is not implemented for `Classes`, which is required by `{integer}: Into<Classes>`
    |
    = help: the following other types implement trait `From<T>`:
-             <Classes as From<Cow<'static, str>>>
              <Classes as From<implicit_clone::unsync::string::IString>>
+             <Classes as From<Cow<'static, str>>>
              <Classes as From<Vec<T>>>
              <Classes as From<String>>
              <Classes as From<Option<T>>>