Fix #25

tests-e2e/test3/Cargo.toml

@@ -0,0 +1,21 @@
+[package]
+name = "test3"
+publish = false
+version = "0.1.0"
+edition = "2021"
+
+[dependencies]
+wasm-bindgen = "0.2"
+tsify-next = { path = "../..", version = "*" }
+serde = { version = "1.0", features = ["derive"] }
+serde_json = "1.0"
+
+[dev-dependencies]
+wasm-bindgen-test = "0.3"
+
+[lib]
+path = "entry_point.rs"
+crate-type = ["cdylib"]
+
+[build-dependencies]
+wasm-bindgen-cli = "0.2"

tests-e2e/test3/entry_point.rs

@@ -0,0 +1,10 @@
+use serde::Serialize;
+use tsify_next::Tsify;
+use wasm_bindgen::prelude::*;
+
+#[derive(Serialize, Tsify)]
+#[tsify(into_wasm_abi)]
+pub struct Identified<Id, Value> {
+    pub id: Id,
+    pub value: Value,
+}

tests/expand/borrow.expanded.rs

@@ -204,7 +204,10 @@ const _: () = {
             <JsType as OptionIntoWasmAbi>::none()
         }
     }
-    impl<'a> From<Borrow<'a>> for JsValue {
+    impl<'a> From<Borrow<'a>> for JsValue
+    where
+        Borrow<'a>: _serde::Serialize,
+    {
         #[inline]
         fn from(value: Borrow<'a>) -> Self {
             value.into_js().unwrap_throw().into()

tests/expand/generic_enum.expanded.rs

@@ -210,7 +210,10 @@ const _: () = {
             <JsType as OptionIntoWasmAbi>::none()
         }
     }
-    impl<T, U> From<GenericEnum<T, U>> for JsValue {
+    impl<T, U> From<GenericEnum<T, U>> for JsValue
+    where
+        GenericEnum<T, U>: _serde::Serialize,
+    {
         #[inline]
         fn from(value: GenericEnum<T, U>) -> Self {
             value.into_js().unwrap_throw().into()

tests/expand/generic_struct.expanded.rs

@@ -209,7 +209,10 @@ const _: () = {
             <JsType as OptionIntoWasmAbi>::none()
         }
     }
-    impl<T> From<GenericStruct<T>> for JsValue {
+    impl<T> From<GenericStruct<T>> for JsValue
+    where
+        GenericStruct<T>: _serde::Serialize,
+    {
         #[inline]
         fn from(value: GenericStruct<T>) -> Self {
             value.into_js().unwrap_throw().into()
@@ -465,7 +468,10 @@ const _: () = {
             <JsType as OptionIntoWasmAbi>::none()
         }
     }
-    impl<T> From<GenericNewtype<T>> for JsValue {
+    impl<T> From<GenericNewtype<T>> for JsValue
+    where
+        GenericNewtype<T>: _serde::Serialize,
+    {
         #[inline]
         fn from(value: GenericNewtype<T>) -> Self {
             value.into_js().unwrap_throw().into()

tsify-next-macros/src/wasm_bindgen.rs

@@ -1,6 +1,6 @@
 use proc_macro2::TokenStream;
 use quote::quote;
-use syn::parse_quote;
+use syn::{parse_quote, WhereClause};
 
 use crate::{container::Container, decl::Decl};
 
@@ -94,6 +94,11 @@ fn expand_into_wasm_abi(cont: &Container) -> TokenStream {
 
     let (impl_generics, ty_generics, where_clause) = generics.split_for_impl();
 
+    let serde_where_clause = WhereClause {
+        where_token: parse_quote!(where),
+        predicates: parse_quote!(#ident #ty_generics: #serde_path::Serialize),
+    };
+
     quote! {
         impl #impl_generics IntoWasmAbi for #ident #ty_generics #where_clause {
             type Abi = <JsType as IntoWasmAbi>::Abi;
@@ -111,7 +116,7 @@ fn expand_into_wasm_abi(cont: &Container) -> TokenStream {
             }
         }
 
-        impl #impl_generics From<#ident #ty_generics> for JsValue {
+        impl #impl_generics From<#ident #ty_generics> for JsValue #serde_where_clause {
             #[inline]
             fn from(value: #ident #ty_generics) -> Self {
                 value.into_js().unwrap_throw().into()