1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
This commit is contained in:
schaeff 2021-06-11 12:11:52 +02:00
parent 09c86e1735
commit 0bb9f5897a

View file

@ -40,7 +40,7 @@ impl<'ast, 'a, T: Field> ConstantInliner<'ast, T> {
prev
}
fn treated(&self, id: &OwnedTypedModuleId) -> bool {
fn treated(&self, id: &TypedModuleId) -> bool {
self.constants.contains_key(id)
}
@ -149,6 +149,7 @@ impl<'ast, T: Field> Folder<'ast, T> for ConstantInliner<'ast, T> {
c: DeclarationConstant<'ast>,
) -> DeclarationConstant<'ast> {
match c {
// replace constants by their concrete value in declaration types
DeclarationConstant::Constant(id) => DeclarationConstant::Concrete(
match self
.constants