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?