Add Clause::ConstArgHasType variant

This commit is contained in:
Boxy 2023-02-16 11:55:58 +00:00
parent 9554045ae4
commit 8a66a6816b

View File

@ -30,7 +30,8 @@ pub fn is_min_const_fn<'tcx>(tcx: TyCtxt<'tcx>, body: &Body<'tcx>, msrv: &Msrv)
ty::Clause::RegionOutlives(_) ty::Clause::RegionOutlives(_)
| ty::Clause::TypeOutlives(_) | ty::Clause::TypeOutlives(_)
| ty::Clause::Projection(_) | ty::Clause::Projection(_)
| ty::Clause::Trait(..), | ty::Clause::Trait(..)
| ty::Clause::ConstArgHasType(..),
) )
| ty::PredicateKind::WellFormed(_) | ty::PredicateKind::WellFormed(_)
| ty::PredicateKind::ConstEvaluatable(..) | ty::PredicateKind::ConstEvaluatable(..)