From b7b7f795593ee150af75e76cfa7f11b740fe319f Mon Sep 17 00:00:00 2001 From: ajet Date: Tue, 4 Nov 2025 17:37:53 -1000 Subject: [PATCH] golf coverage --- list/list_test.go | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/list/list_test.go b/list/list_test.go index 80e7ee1..7fcc2d8 100644 --- a/list/list_test.go +++ b/list/list_test.go @@ -29,12 +29,14 @@ func TestConjIncreasesLength(t *testing.T) { }) } -func TestRestDecreasesLengthForNonEmptyList(t *testing.T) { +func TestRestDecreasesLength(t *testing.T) { rapid.Check(t, func(t *rapid.T) { - myList := intListGen().Filter(func(l IList) bool { - return !l.IsEmpty() - }).Draw(t, "myList") - assert.Equal(t, myList.Len()-1, myList.Rest().Len()) + myList := intListGen().Draw(t, "myList") + if myList.IsEmpty() { + assert.Equal(t, 0, myList.Rest().Len()) + } else { + assert.Equal(t, myList.Len()-1, myList.Rest().Len()) + } }) }