Exhaustively match on ty::Const::kind

2023-08-29 15:11:51 +00:00 · 2023-08-29 15:11:51 +00:00 · 3a736a747d
commit 3a736a747d
parent 9b8e3eb8f7
1 changed files with 12 additions and 1 deletions
--- a/compiler/rustc_smir/src/rustc_smir/mod.rs
+++ b/compiler/rustc_smir/src/rustc_smir/mod.rs
@ -1095,7 +1095,18 @@ fn stable(&self, tables: &mut Tables<'tcx>) -> Self::T {
                }
                ty::ParamCt(param) => stable_mir::ty::ConstantKind::ParamCt(opaque(&param)),
                ty::ErrorCt(_) => unreachable!(),
-                _ => unimplemented!(),
+                ty::InferCt(_) => unreachable!(),
+                ty::BoundCt(_, _) => unimplemented!(),
+                ty::PlaceholderCt(_) => unimplemented!(),
+                ty::Unevaluated(uv) => {
+                    stable_mir::ty::ConstantKind::Unevaluated(stable_mir::ty::UnevaluatedConst {
+                        ty: tables.intern_ty(self.ty()),
+                        def: tables.const_def(uv.def),
+                        args: uv.args.stable(tables),
+                        promoted: None,
+                    })
+                }
+                ty::ExprCt(_) => unimplemented!(),
            },
        }
    }