fix: remove requirements for pop_first.

This commit is contained in:
MohMaGen
2024-10-27 21:59:56 +03:00
committed by Christoffer Lerno
parent 4be08ee0bd
commit 0639659270

View File

@@ -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?;