Is there a way to flag a collection as non-empty to the compiler in the same way you can flag a vari...

# announcements

[Jonathan Mew]

Is there a way to flag a collection as non-empty to the compiler in the same way you can flag a variable as non-null - or has it already been considered/proposed?

[Youssef Shoaib [MOD]]

Not really currently at least, but check out NonEmptyList from #C5UPMM0A0

[Byron Katz]

You can also include invariants in your code at proper places. For example, after the line where you certainly expect the collection to be non-empty, write something like:
check(myList.size > 0) {"The previous command should have put at least one element in"}

[ianbrandt]

Related feature requests:

• https://youtrack.jetbrains.com/issue/KT-21217/Non-empty-collections
• https://youtrack.jetbrains.com/issue/KT-57266/One-or-more-varags

[Jonathan Mew]

Ha, I had forgotten all about this enquiry, thanks for posting @ianbrandt!