Skip to main content

luaur_analysis/records/
quantifier.rs

1use crate::records::scope::Scope;
2use crate::records::type_level::TypeLevel;
3use crate::records::type_once_visitor::TypeOnceVisitor;
4use crate::type_aliases::type_id::TypeId;
5use crate::type_aliases::type_pack_id::TypePackId;
6use alloc::vec::Vec;
7
8#[derive(Debug, Clone)]
9pub struct Quantifier {
10    pub base: TypeOnceVisitor,
11    pub level: TypeLevel,
12    pub generics: Vec<TypeId>,
13    pub generic_packs: Vec<TypePackId>,
14    pub scope: *mut Scope,
15    pub seen_generic_type: bool,
16    pub seen_mutable_type: bool,
17}