diff --git a/docs/reference/src/code/operations/assertions/src/lib.sw b/docs/reference/src/code/operations/assertions/src/lib.sw
index 8d600671f30..e14724c0b30 100644
--- a/docs/reference/src/code/operations/assertions/src/lib.sw
+++ b/docs/reference/src/code/operations/assertions/src/lib.sw
@@ -1,7 +1,6 @@
 library;
 
 mod req;
-use core::codec::*;
 
 #[allow(dead_code)]
 // ANCHOR: assert
diff --git a/docs/reference/src/code/operations/assertions/src/req.sw b/docs/reference/src/code/operations/assertions/src/req.sw
index 856824b128d..06de67e37bf 100644
--- a/docs/reference/src/code/operations/assertions/src/req.sw
+++ b/docs/reference/src/code/operations/assertions/src/req.sw
@@ -1,7 +1,5 @@
 library;
 
-use core::codec::*;
-
 // ANCHOR: require
 fn subtract(a: u64, b: u64) -> u64 {
     require(b <= a, "b is too large");
diff --git a/docs/reference/src/code/operations/call_data/src/lib.sw b/docs/reference/src/code/operations/call_data/src/lib.sw
index 113eb533619..d9a4728ddd3 100644
--- a/docs/reference/src/code/operations/call_data/src/lib.sw
+++ b/docs/reference/src/code/operations/call_data/src/lib.sw
@@ -1,7 +1,5 @@
 library;
 
-use core::codec::*;
-
 // ANCHOR: import_asset
 use std::{call_frames::msg_asset_id, constants::BASE_ASSET_ID};
 // ANCHOR_END: import_asset
diff --git a/docs/reference/src/code/operations/logging/src/lib.sw b/docs/reference/src/code/operations/logging/src/lib.sw
index a35fbf1f97c..a5a87cc682a 100644
--- a/docs/reference/src/code/operations/logging/src/lib.sw
+++ b/docs/reference/src/code/operations/logging/src/lib.sw
@@ -1,7 +1,5 @@
 library;
 
-use core::codec::*;
-
 // ANCHOR: logging
 fn log_data(number: u64) {
     // generic T = `number` of type `u64`
diff --git a/sway-lib-core/src/prelude.sw b/sway-lib-core/src/prelude.sw
index 588d2e2a101..83fbeaa8627 100644
--- a/sway-lib-core/src/prelude.sw
+++ b/sway-lib-core/src/prelude.sw
@@ -11,3 +11,4 @@ use ::never::*;
 use ::ops::*;
 use ::storage::*;
 use ::str::*;
+use ::codec::*;
diff --git a/sway-lib-std/src/assert.sw b/sway-lib-std/src/assert.sw
index c128669d17d..07a88d8ee77 100644
--- a/sway-lib-std/src/assert.sw
+++ b/sway-lib-std/src/assert.sw
@@ -4,7 +4,6 @@ library;
 use ::logging::log;
 use ::revert::revert;
 use ::error_signals::{FAILED_ASSERT_EQ_SIGNAL, FAILED_ASSERT_NE_SIGNAL, FAILED_ASSERT_SIGNAL};
-use core::codec::*;
 
 /// Asserts that the given `condition` will always be `true` during runtime.
 ///
@@ -89,7 +88,7 @@ where
 /// ```
 pub fn assert_ne<T>(v1: T, v2: T)
 where
-    T: Eq,
+    T: Eq + AbiEncode,
 {
     if (v1 == v2) {
         log(v1);