span: Span,
) -> Result<(), NotConstEvaluatable> {
let tcx = infcx.tcx;
- match unexpanded_ct.kind() {
+ match tcx.expand_abstract_consts(unexpanded_ct).kind() {
ty::ConstKind::Unevaluated(_) | ty::ConstKind::Expr(_) => (),
ty::ConstKind::Param(_)
| ty::ConstKind::Bound(_, _)