Skip to main content

luaur_analysis/methods/
normalizer_negate_all.rs

1use crate::records::normalizer::Normalizer;
2use crate::records::type_ids::TypeIds;
3use crate::type_aliases::type_id::TypeId;
4
5impl Normalizer {
6    pub fn negate_all(&mut self, theres: &TypeIds) -> TypeIds {
7        self.consume_fuel();
8
9        let mut tys = TypeIds::type_ids();
10        for there in theres.order.iter() {
11            let there = *there;
12            tys.insert_type_id(self.negate(there));
13        }
14        tys
15    }
16}