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