{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"Definition::Adt(x)"}]}
        Definition::Adt(x) => check_item!(x),
        Definition::Function(x) => check_item!(x),
        Definition::Variant(x) => check_item!(x),