add scaffolding

This commit is contained in:
Folkert 2022-03-07 20:55:40 +01:00
parent 92ace8ff67
commit 3510bad1d5
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
9 changed files with 57 additions and 6 deletions

View file

@ -682,6 +682,10 @@ impl<'a> LowLevelCall<'a> {
Hash => todo!("{:?}", self.lowlevel),
Eq | NotEq => self.eq_or_neq(backend),
BoxExpr | UnboxExpr => {
unreachable!("The {:?} operation is turned into mono Expr", self.lowlevel)
}
}
}