:thunk is an internal marker that lowering uses to indicate that something is no longer modifiable surface level syntax, and thus is ready for immediate execution. It should not appear in parser or macro contexts.
3 Likes