Corrected type generics computation.

Issue mcarton#25

src/clone.rs

@@ -13,15 +13,14 @@ pub fn derive_copy(input: &ast::Input) -> Result<proc_macro2::TokenStream, Strin
     }
 
     let copy_trait_path = copy_trait_path();
-    let (_impl_generics, ty_generics, _where_clause) = input.generics.split_for_impl();
-    let impl_generics = utils::build_impl_generics(
+    let generics = utils::build_impl_generics(
         input,
         &copy_trait_path,
         |attrs| attrs.copy_bound().is_none(),
         |field| field.copy_bound(),
         |input| input.copy_bound(),
     );
-    let where_clause = &impl_generics.where_clause;
+    let (impl_generics, ty_generics, where_clause) = generics.split_for_impl();
 
     Ok(quote! {
         #[allow(unused_qualifications)]
@@ -34,15 +33,14 @@ pub fn derive_clone(input: &ast::Input) -> proc_macro2::TokenStream {
     let name = &input.ident;
 
     let clone_trait_path = clone_trait_path();
-    let (_impl_generics, ty_generics, _where_clause) = input.generics.split_for_impl();
-    let impl_generics = utils::build_impl_generics(
+    let generics = utils::build_impl_generics(
         input,
         &clone_trait_path,
         needs_clone_bound,
         |field| field.clone_bound(),
         |input| input.clone_bound(),
     );
-    let where_clause = &impl_generics.where_clause;
+    let (impl_generics, ty_generics, where_clause) = generics.split_for_impl();
 
     let is_copy = input.attrs.rustc_copy_clone_marker() || input.attrs.copy.is_some();
     if is_copy && input.generics.type_params().count() == 0 {

src/cmp.rs

@@ -10,15 +10,14 @@ pub fn derive_eq(input: &ast::Input) -> proc_macro2::TokenStream {
     let name = &input.ident;
 
     let eq_trait_path = eq_trait_path();
-    let (_impl_generics, ty_generics, _where_clause) = input.generics.split_for_impl();
-    let impl_generics = utils::build_impl_generics(
+    let generics = utils::build_impl_generics(
         input,
         &eq_trait_path,
         |attrs| attrs.eq_bound().is_none(),
         |field| field.eq_bound(),
         |input| input.eq_bound(),
     );
-    let where_clause = &impl_generics.where_clause;
+    let (impl_generics, ty_generics, where_clause) = generics.split_for_impl();
 
     quote! {
         #[allow(unused_qualifications)]
@@ -75,15 +74,14 @@ pub fn derive_partial_eq(input: &ast::Input) -> Result<proc_macro2::TokenStream,
     let name = &input.ident;
 
     let partial_eq_trait_path = partial_eq_trait_path();
-    let (_impl_generics, ty_generics, _where_clause) = input.generics.split_for_impl();
-    let impl_generics = utils::build_impl_generics(
+    let generics = utils::build_impl_generics(
         input,
         &partial_eq_trait_path,
         |attrs| attrs.partial_eq_bound().is_none(),
         |field| field.partial_eq_bound(),
         |input| input.partial_eq_bound(),
     );
-    let where_clause = &impl_generics.where_clause;
+    let (impl_generics, ty_generics, where_clause) = generics.split_for_impl();
 
     Ok(quote! {
         #[allow(unused_qualifications)]

src/debug.rs

@@ -65,15 +65,14 @@ pub fn derive(input: &ast::Input) -> proc_macro2::TokenStream {
     let name = &input.ident;
 
     let debug_trait_path = debug_trait_path();
-    let (_impl_generics, ty_generics, _where_clause) = input.generics.split_for_impl();
-    let impl_generics = utils::build_impl_generics(
+    let generics = utils::build_impl_generics(
         input,
         &debug_trait_path,
         needs_debug_bound,
         |field| field.debug_bound(),
         |input| input.debug_bound(),
     );
-    let where_clause = &impl_generics.where_clause;
+    let (impl_generics, ty_generics, where_clause) = generics.split_for_impl();
 
     quote! {
         #[allow(unused_qualifications)]

src/default.rs

@@ -49,15 +49,14 @@ pub fn derive(input: &ast::Input, default: &attr::InputDefault) -> proc_macro2::
 
     let name = &input.ident;
     let default_trait_path = default_trait_path();
-    let (_impl_generics, ty_generics, _where_clause) = input.generics.split_for_impl();
-    let impl_generics = utils::build_impl_generics(
+    let generics = utils::build_impl_generics(
         input,
         &default_trait_path,
         |attrs| attrs.default_bound().is_none(),
         |field| field.default_bound(),
         |input| input.default_bound(),
     );
-    let where_clause = &impl_generics.where_clause;
+    let (impl_generics, ty_generics, where_clause) = generics.split_for_impl();
 
     let body = match input.body {
         ast::Body::Enum(ref data) => {

src/hash.rs

@@ -45,15 +45,14 @@ pub fn derive(input: &ast::Input) -> proc_macro2::TokenStream {
     );
 
     let name = &input.ident;
-    let (_impl_generics, ty_generics, _where_clause) = input.generics.split_for_impl();
-    let impl_generics = utils::build_impl_generics(
+    let generics = utils::build_impl_generics(
         input,
         &hash_trait_path,
         needs_hash_bound,
         |field| field.hash_bound(),
         |input| input.hash_bound(),
     );
-    let where_clause = &impl_generics.where_clause;
+    let (impl_generics, ty_generics, where_clause) = generics.split_for_impl();
 
     let hasher_ty_parameter = utils::hygienic_type_parameter(input, "__H");
     quote! {