luaur_analysis/methods/unifier_combine_logs_into_union.rs
1use crate::records::txn_log::TxnLog;
2use crate::records::type_arena::TypeArena;
3use crate::records::unifier::Unifier;
4
5impl Unifier {
6 pub fn unifier_combine_logs_into_union(
7 &mut self,
8 logs: Vec<TxnLog>,
9 arena: *mut TypeArena,
10 ) -> TxnLog {
11 let mut result = TxnLog::new();
12 for log in logs {
13 result.concat_as_union(log, arena);
14 }
15 result
16 }
17}