Merge pull request #534 from hacspec/parent-bounds

doc(frontend): document `copied.rs` file
hacspec · Feb 28, 2024 · e54c845 · e54c845
2 parents a2e54a4 + 1c545ff
commit e54c845
Show file tree

Hide file tree

Showing 3 changed files with 253 additions and 46 deletions.
diff --git a/frontend/exporter/src/constant_utils.rs b/frontend/exporter/src/constant_utils.rs
@@ -53,6 +53,10 @@ pub struct ConstantFieldExpr {
     pub value: ConstantExpr,
 }
 
+/// Rustc has different representation for constants: one for MIR
+/// ([`rustc_middle::mir::ConstantKind`]), one for the type system
+/// ([`rustc_middle::ty::ConstKind`]). For simplicity hax maps those
+/// two construct to one same `ConstantExpr` type.
 pub type ConstantExpr = Decorated<ConstantExprKind>;
 
 impl From<ConstantFieldExpr> for FieldExpr {