{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"value:"}]}
                    value: sty,
                    typing_env: TypingEnv::fully_monomorphized(),
                };