substs,
substs,
)?;
- Ok(self.tcx().mk_const(
- ty::ConstKind::Unevaluated(ty::UnevaluatedConst { def, substs }),
- c.ty(),
- ))
+ Ok(self.tcx().mk_const(ty::UnevaluatedConst { def, substs }, c.ty()))
}
_ => relate::super_relate_consts(self, c, c),
}
substs,
)?;
- Ok(self.tcx().mk_const(
- ty::ConstKind::Unevaluated(ty::UnevaluatedConst { def, substs }),
- c.ty(),
- ))
+ Ok(self.tcx().mk_const(ty::UnevaluatedConst { def, substs }, c.ty()))
}
_ => relate::super_relate_consts(self, c, c),
}