Currently we have sized collections. I'm not sure if this makes sense.
I think that it only makes sense to check this for tuples.
For other collections (sets, lists, and dictionaries), we should not check the size in the type checker, since this will almost only be known at runtime anyway.
Proposed change
Create a separate construct in Expect for tuples, which are a special case as these are explicitly sized and must be statically checked.
Summary of current issue
Currently we have sized collections. I'm not sure if this makes sense. I think that it only makes sense to check this for tuples. For other collections (sets, lists, and dictionaries), we should not check the size in the type checker, since this will almost only be known at runtime anyway.
Proposed change
Create a separate construct in
Expectfor tuples, which are a special case as these are explicitly sized and must be statically checked.