update tests

This commit is contained in:
microproofs
2024-03-07 09:46:41 -05:00
committed by Kasey
parent ae396c0224
commit 275db2fd11
2 changed files with 4 additions and 2 deletions

View File

@@ -1322,6 +1322,8 @@ impl<'a> CodeGenerator<'a> {
msg_func: Option<AirMsg>,
) -> AirTree {
assert!(tipo.get_generic().is_none());
// Shouldn't be needed but still here just in case
// this function is called from anywhere else besides assignment
let tipo = &convert_opaque_type(tipo, &self.data_types, true);
if tipo.is_primitive() {