Thanks for linking the spec. It has been a living document for a long time. I discovered that the implementation had made it into the SDK's master branch. Since it's very early stage and lacking documentation, I made this repo which demonstrates creating a macro that implements some of the most popular codegen functionality Flutter developers use.