Skip to main content

luaur_analysis/records/
apply_mapped_generics.rs

1/// C++ `ApplyMappedGenerics` (`Subtyping.cpp`): a `Substitution` subclass, so it
2/// embeds `base: Substitution` and inherits `substitute` (whose traversal
3/// virtual-dispatches into the `isDirty` / `clean` / `ignoreChildren` overrides
4/// installed via [`SubstitutionVtable`](crate::records::tarjan::SubstitutionVtable)).
5#[derive(Debug, Clone)]
6pub struct ApplyMappedGenerics {
7    pub(crate) base: crate::records::substitution::Substitution,
8    pub(crate) builtin_types: *mut crate::records::builtin_types::BuiltinTypes,
9    pub(crate) arena: *mut crate::records::type_arena::TypeArena,
10    pub(crate) ice_reporter: *mut crate::records::internal_error_reporter::InternalErrorReporter,
11    pub(crate) env: *mut crate::records::subtyping_environment::SubtypingEnvironment,
12}