in such code it can be even worse: code may, in fa...

# language-proposals

[mikehearn]

in such code it can be even worse: code may, in fact, execute with an empty collection, but just silently do something unexpected 😞 but yes i agree, a good implementation boils down to full typestate analysis