diff --git a/ast/src/lang/core/types.rs b/ast/src/lang/core/types.rs
index b8607f3e22..feb19f03a9 100644
--- a/ast/src/lang/core/types.rs
+++ b/ast/src/lang/core/types.rs
@@ -19,6 +19,8 @@ use crate::mem_pool::shallow_clone::ShallowClone;
 
 pub type TypeId = NodeId<Type2>;
 
+const TYPE2_SIZE: () = assert!(std::mem::size_of::<Type2>() == 3 * 8 + 4);
+
 #[derive(Debug)]
 pub enum Type2 {
     Variable(Variable), // 4B
@@ -47,11 +49,6 @@ pub enum Type2 {
     Erroneous(Problem2), // 24B
 }
 
-#[test]
-fn type2_size() {
-    assert_eq!(std::mem::size_of::<Type2>(), 28); // 24B + pad
-}
-
 #[derive(Debug)]
 pub enum Problem2 {
     CanonicalizationProblem,