bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

add check for ConstKind::Value(_)

Browse source
This commit is contained in:
James Dietz 2023-06-27 17:03:21 -04:00
parent 08fd6f719e
commit ce5ed5b6cc
1 changed files with 7 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

9
compiler/rustc_const_eval/src/transform/check_consts/qualifs.rs
View file

@ -348,11 +348,16 @@ where
// way for type and mir constants. // way for type and mir constants.
let uneval = match constant.literal { let uneval = match constant.literal {
ConstantKind::Ty(ct) ConstantKind::Ty(ct)
if matches!(ct.kind(), ty::ConstKind::Param(_) | ty::ConstKind::Error(_)) => if matches!(
ct.kind(),
ty::ConstKind::Param(_) | ty::ConstKind::Error(_) | ty::ConstKind::Value(_)
) =>
{ {
None None
} }
ConstantKind::Ty(c) => bug!("expected ConstKind::Param here, found {:?}", c), ConstantKind::Ty(c) => {
bug!("expected ConstKind::Param or ConstKind::Value here, found {:?}", c)
}
ConstantKind::Unevaluated(uv, _) => Some(uv), ConstantKind::Unevaluated(uv, _) => Some(uv),
ConstantKind::Val(..) => None, ConstantKind::Val(..) => None,
}; };