PR fixes

Author: xunilrj

sway-core/src/type_system/monomorphization.rs

@@ -261,7 +261,7 @@ pub(crate) fn monomorphize_with_modpath<T>(
     subst_ctx: &SubstTypesContext,
 ) -> Result<(), ErrorEmitted>
 where
-    T: std::fmt::Debug + MonomorphizeHelper + SubstTypes + MaterializeConstGenerics,
+    T: MonomorphizeHelper + SubstTypes + MaterializeConstGenerics,
 {
     let type_mapping = prepare_type_subst_map_for_monomorphize(
         handler,

sway-lib-std/src/codec.sw

@@ -6951,13 +6951,16 @@ where
     }
 }
 
-impl<T> AbiEncode for TrivialEnum<T> {
+impl<T> AbiEncode for TrivialEnum<T>
+where
+    T: AbiEncode
+{
     fn is_encode_trivial() -> bool {
         true
     }
 
     fn abi_encode(self, buffer: Buffer) -> Buffer {
-        buffer
+        self.value.abi_encode(buffer)
     }
 }