{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"category:"}]}
                                category: ConstraintCategory::OpaqueType,
                                span,
                                variance_info: ty::VarianceDiagInfo::default(),