Skip to main content

luaur_analysis/records/
variadic.rs

1//! Generated skeleton item. @skeleton-stub
2//! Node: `cxx:Record:Luau.Analysis:Analysis/include/Luau/Refinement.h:24:variadic`
3//! Source: `Analysis/include/Luau/Refinement.h`
4//! Graph edges:
5//! - declared_by: source_file Analysis/include/Luau/Refinement.h
6//! - source_includes:
7//!   - includes -> source_file Analysis/include/Luau/TypedAllocator.h
8//!   - includes -> source_file Common/include/Luau/Variant.h
9//!   - includes -> source_file Analysis/include/Luau/TypeFwd.h
10//! - incoming:
11//!   - declares <- source_file Analysis/include/Luau/Refinement.h
12//!   - type_ref <- type_alias Refinement (Analysis/include/Luau/Refinement.h)
13//!   - type_ref <- method ConstraintGenerator::computeRefinement (Analysis/src/ConstraintGenerator.cpp)
14//!   - type_ref <- method RefinementArena::variadic (Analysis/src/Refinement.cpp)
15//!   - type_ref <- method Subtyping::isTailCovariantWithTail (Analysis/src/Subtyping.cpp)
16//!   - type_ref <- method Subtyping::isCovariantWith (Analysis/src/Subtyping.cpp)
17//!   - type_ref <- method PathBuilder::variadic (Analysis/src/TypePath.cpp)
18//!   - type_ref <- method TraversalState::traverse (Analysis/src/TypePath.cpp)
19//!   - type_ref <- function toString (Analysis/src/TypePath.cpp)
20//!   - type_ref <- function toStringHuman (Analysis/src/TypePath.cpp)
21//!   - type_ref <- test type_infer_aliases_mismatched_generic_pack_type_param (tests/TypeInfer.aliases.test.cpp)
22//!   - type_ref <- test type_path_variadic (tests/TypePath.test.cpp)
23//!   - type_ref <- test type_path_fields (tests/TypePath.test.cpp)
24//! - outgoing:
25//!   - type_ref -> type_alias RefinementId (Analysis/include/Luau/Refinement.h)
26//!   - translates_to -> rust_item Variadic
27
28use crate::type_aliases::refinement_id_refinement::RefinementId;
29use alloc::vec::Vec;
30
31#[derive(Debug, Clone)]
32pub struct Variadic {
33    pub refinements: Vec<RefinementId>,
34}