{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"span:"}]}
                                span: DUMMY_SP,
                                locations: Locations::All(DUMMY_SP),
                                category: ConstraintCategory::Internal,