some more fixes

This commit is contained in:
microproofs
2023-07-26 17:40:39 -04:00
committed by Kasey
parent 58b327e5b3
commit 52ebc9b6c1
2 changed files with 25 additions and 32 deletions

View File

@@ -545,7 +545,7 @@ pub fn erase_opaque_type_operations(
*air_tree = args.pop().unwrap();
}
}
AirExpression::RecordAccess { tipo, record, .. } => {
AirExpression::RecordAccess { record, .. } => {
if check_replaceable_opaque_type(&record.return_type(), data_types) {
*air_tree = (**record).clone();
}