{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"span:"}]}
                span: cause.span,
            } => SubregionOrigin::CompareImplItemObligation {
                impl_item_def_id,