{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"ObligationCauseCode::OpaqueTypeBound(pred_span,"}]}
                ObligationCauseCode::OpaqueTypeBound(pred_span, definition_def_id),
                def_id,
            ),