diff --git a/lang/src/utils.rs b/lang/src/utils.rs
index 3f069a2..86db0dd 100644
--- a/lang/src/utils.rs
+++ b/lang/src/utils.rs
@@ -381,25 +381,26 @@ impl Vc {
     }
 
     pub fn push(&mut self, value: Nid) {
-        if let Some(layout) = self.layout()
-            && unsafe { self.alloced.len == self.alloced.cap }
-        {
-            unsafe {
-                self.alloced.cap *= 2;
-                self.alloced.base = Unique::new_unchecked(
-                    alloc::realloc(
-                        self.alloced.base.as_ptr().cast(),
-                        layout,
-                        self.alloced.cap as usize * core::mem::size_of::<Nid>(),
-                    )
-                    .cast(),
-                );
+        if let Some(layout) = self.layout() {
+            if unsafe { self.alloced.len == self.alloced.cap } {
+                unsafe {
+                    self.alloced.cap *= 2;
+                    self.alloced.base = Unique::new_unchecked(
+                        alloc::realloc(
+                            self.alloced.base.as_ptr().cast(),
+                            layout,
+                            self.alloced.cap as usize * core::mem::size_of::<Nid>(),
+                        )
+                        .cast(),
+                    );
+                }
             }
         } else if self.len() == INLINE_ELEMS {
             unsafe {
                 let mut allcd =
                     Self::alloc((self.inline.cap + 1).next_power_of_two() as _, self.len());
                 core::ptr::copy_nonoverlapping(self.as_ptr(), allcd.as_mut_ptr(), self.len());
+                debug_assert!(!allcd.is_inline());
                 *self = allcd;
             }
         }