{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"///"}]}
    /// Error for a `ConstArgHasType` goal
    OpaqueTypeAutoTraitLeakageUnknown(DefId),
    ConstArgHasWrongType { ct: ty::Const<'tcx>, ct_ty: Ty<'tcx>, expected_ty: Ty<'tcx> },