Index: kernel/generic/src/adt/cht.c
===================================================================
--- kernel/generic/src/adt/cht.c	(revision 045523247b162c88f46808e9415ee4bbc16ad5d7)
+++ kernel/generic/src/adt/cht.c	(revision dcc150cb881b707450d40aa0465305b60618cb86)
@@ -526,5 +526,5 @@
 	ASSERT(op && op->hash && op->key_hash && op->equal && op->key_equal);
 	/* Memoized hashes are stored in the rcu_link.func function pointer. */
-	ASSERT(sizeof(size_t) == sizeof(rcu_func_t));
+	STATIC_ASSERT(sizeof(size_t) == sizeof(rcu_func_t));
 	ASSERT(sentinel.hash == (uintptr_t)sentinel.rcu_link.func);
 
@@ -1311,5 +1311,5 @@
 		}
 	} else {
-		ASSERT(N_JOIN == N_JOIN_FOLLOWS);
+		STATIC_ASSERT(N_JOIN == N_JOIN_FOLLOWS);
 		
 		/* Keep the N_JOIN/N_JOIN_FOLLOWS mark but strip N_DELETED. */