From 063965927091e6194a9ead0e56fb4ca0d462d344 Mon Sep 17 00:00:00 2001
From: MohMaGen <mohmagen@gmail.com>
Date: Sun, 27 Oct 2024 21:59:56 +0300
Subject: [PATCH] fix: remove requirements for pop_first.

---
 lib/std/collections/list.c3 | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/lib/std/collections/list.c3 b/lib/std/collections/list.c3
index 1451f517e..8fc85a6aa 100644
--- a/lib/std/collections/list.c3
+++ b/lib/std/collections/list.c3
@@ -128,9 +128,6 @@ fn void List.clear(&self)
 	self.set_size(0);
 }
 
-<*
- @require self.size > 0
-*>
 fn Type! List.pop_first(&self)
 {
 	if (!self.size) return IteratorResult.NO_MORE_ELEMENT?;