{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"\"bad"}]}
                    "bad constant user type {:?} vs {:?}: {:?}",
                    constant,
                    annotation,