diff --git a/derive/src/trait_bounds.rs b/derive/src/trait_bounds.rs
index 41e5e6cb..a1b2b2c3 100644
--- a/derive/src/trait_bounds.rs
+++ b/derive/src/trait_bounds.rs
@@ -71,9 +71,6 @@ pub fn make_where_clause<'a>(
             where_clause
                 .predicates
                 .push(parse_quote!(#ty : :: #parity_scale_codec ::HasCompact));
-            where_clause
-                .predicates
-                .push(parse_quote!(<#ty as :: #parity_scale_codec ::HasCompact>::Type : :: #scale_info ::TypeInfo + 'static));
         } else {
             where_clause
                 .predicates
diff --git a/src/build.rs b/src/build.rs
index 3aeec990..2a44e1a8 100644
--- a/src/build.rs
+++ b/src/build.rs
@@ -363,12 +363,11 @@ impl<N> FieldBuilder<N, field_state::TypeNotAssigned> {
     /// Initializes the type of the field as a compact type.
     pub fn compact<TY>(self) -> FieldBuilder<N, field_state::TypeAssigned>
     where
-        TY: scale::HasCompact,
-        <TY as scale::HasCompact>::Type: TypeInfo + 'static,
+        TY: scale::HasCompact + TypeInfo + 'static,
     {
         FieldBuilder {
             name: self.name,
-            ty: Some(MetaType::new::<<TY as scale::HasCompact>::Type>()),
+            ty: Some(MetaType::new::<scale::Compact<TY>>()),
             type_name: self.type_name,
             docs: self.docs,
             marker: PhantomData,