[BUG] InlineArray does not permit size of 0

[samufi]

Bug description

[This may also be seen as a feature request]

The size parameter of the InlineArray is constrained to numbers of at least 1. I am sure this is intentional, as it may make little sense to create zero-size array. However, this blocks some common use cases when working with parameterized functions.

Steps to reproduce

Consider the following example:

from collections import InlineArray
from sys.info import sizeof

trait WritableCollectionElement(Writable, CollectionElement):
  pass

fn get_sizes[*Ts: AnyType]() -> InlineArray[Int, len(VariadicList(Ts))]:
  alias length = len(VariadicList(Ts))
  result = InlineArray[Int, len(VariadicList(Ts))](0)
  
  @parameter
  for i in range(len(VariadicList(Ts))):
    result[i] = sizeof[Ts[i]]()
    
  return result

fn print_array[T: WritableCollectionElement](arr: InlineArray[T]):
  for i in range(len(arr)):
    print(arr[i])
  

def main():
    print_array(get_sizes())

The expected behaviour is that this would simply print nothing. However, the program does not compile as it fails to run the pass manager. Of course there are more important use cases, which currently can only be covered with a verbous extra overload.

System information

I tested this on Mojo Playground, v24.6