{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"annotation,"}]}
                    annotation,
                    "bad constant user type {:?} vs {:?}: {:?}",
                    constant.const_.ty(),