{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"defaultness:"}]}
                defaultness: ast::Defaultness::Final,
                polarity: ast::ImplPolarity::Positive,
                constness: ast::Const::No,