Update for ConstKind refactor

This commit is contained in:
Aaron Hill 2019-11-18 14:58:29 -05:00
parent cec7d944ba
commit df3f33870a
No known key found for this signature in database
GPG key ID: B4087E510E98B164

View file

@ -938,7 +938,7 @@ fn fixup_opaque_types<'tcx, T>(tcx: TyCtxt<'tcx>, val: &T) -> T where T: TypeFol
}
},
GenericArgKind::Const(old_const) => {
if let ConstValue::Infer(_) = old_const.val {
if let ty::ConstKind::Infer(_) = old_const.val {
// This should never happen - we currently do not support
// 'const projections', e.g.:
// `impl<T: SomeTrait> MyTrait for T where <T as SomeTrait>::MyConst == 25`