Type state analysis

Walter Bright newshound2 at digitalmars.com
Sat Mar 30 02:30:55 UTC 2024


In order to make this work, it will need typestate annotations on all:

1. function returns
2. aggregate fields
3. array element types
4. pointed to types
5. function parameters

I suspect that would make it bulletproof. Isn't it a big ask to get people to 
add all those annotations?


More information about the dip.ideas mailing list