luaur_analysis/records/instantiation.rs
1use crate::records::builtin_types::BuiltinTypes;
2use crate::records::replace_generics::ReplaceGenerics;
3use crate::records::scope::Scope;
4use crate::records::substitution::Substitution;
5use crate::records::type_level::TypeLevel;
6
7#[derive(Debug, Clone)]
8pub struct Instantiation {
9 pub base: Substitution,
10 pub builtin_types: *mut BuiltinTypes,
11 pub level: TypeLevel,
12 pub scope: *mut Scope,
13 pub reusable_replace_generics: ReplaceGenerics,
14}