{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"msg.push_normal(\""}]}
                        msg.push_normal(" implemented for `(");
                        msg.push_highlighted("is");
                        let len = types.len();