Skip to content

Commit

Permalink
fix: remove requirements for pop_first.
Browse files Browse the repository at this point in the history
  • Loading branch information
MohMaGen authored and lerno committed Oct 27, 2024
1 parent 4be08ee commit 0639659
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions lib/std/collections/list.c3
Original file line number Diff line number Diff line change
Expand Up @@ -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?;
Expand Down

0 comments on commit 0639659

Please sign in to comment.