Typesystem of lists does not reflect lower bound

IETS3 / iets3.opensource

Open Source Parts of IETS3

Apache License 2.0

44 stars 22 forks source link

Typesystem of lists does not reflect lower bound #1114

Open arimer opened 1 week ago

arimer commented 1 week ago

Crosscheck if this this a bug or idended behaviour.

Expected behaviour The outer list has a lower bound of 0 and therefore it is not mandatory that the list contains any entries. The error should not be there.