Modules§
- ambiguous_
function_ call - and_
predicate - Generated skeleton item. @skeleton-stub
Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/Predicate.h:53:and_predicateSource:Analysis/include/Luau/Predicate.hGraph edges: - annotation_
types_ at_ location - any_
type - anyification
- anything
- apply_
mapped_ generics - apply_
type_ function - arc_
collector - arcs
- Faithful port of
Luau::detail::Arcs(Analysis/src/TopoSortStatements.cpp:72). - are_
equal_ state - array_
emitter - assign
- assign_
index_ constraint - assign_
prop_ constraint - ast_
array - ast_
array_ predicate - ast_
attr - ast_
expr - ast_
expr_ binary - ast_
expr_ call - ast_
expr_ table_ finder - ast_
json_ encoder - ast_
name - ast_
node - ast_
stat - ast_
stat_ block - ast_
stat_ repeat - ast_
type - ast_
type_ pack - autocomplete_
entry - autocomplete_
node_ finder - autocomplete_
result - basic_
documentation - bidirectional_
type_ pusher - binding
- binding_
snapshot - block
- @interface-stub
- block_
scope - blocked_
type - blocked_
type_ finder - blocked_
type_ in_ literal_ visitor - blocked_
type_ pack - boolean_
singleton - bound
- bound_
type - boundary_
snapshot - build_
queue_ item - build_
queue_ work_ state - built_
in_ type_ function_ error - builtin_
type_ functions - Generated skeleton item.
Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/BuiltinTypeFunctions.h:9:builtin_type_functionsSource:Analysis/include/Luau/BuiltinTypeFunctions.hGraph edges: - builtin_
types - bytecode_
builder - cannot_
assign_ to_ never - cannot_
call_ non_ function - cannot_
check_ dynamic_ string_ format_ calls - cannot_
compare_ unrelated_ types - cannot_
extend_ table - cannot_
infer_ binary_ operation - cell
- cfg_
allocator - Source:
Analysis/include/Luau/ControlFlowGraph.h:233(hand-ported) C++struct CFGAllocator. - cfg_
builder - check_
result - checked_
function_ call_ error - checked_
function_ incorrect_ args - checkpoint
- class_
decl_ record - class_
user_ data - clone_
public_ interface - clone_
state - code_
too_ complex - collect_
union_ type_ options - config_
resolver - Source:
Analysis/include/Luau/ConfigResolver.h:12(hand-ported) C++ abstract interface — modeled as a struct with a fn-pointer vtable slot (the project convention for pure-virtual classes). - conjunction_
control_ flow_ graph - conjunction_
refinement - Generated skeleton item. @skeleton-stub
Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/Refinement.h:34:conjunctionSource:Analysis/include/Luau/Refinement.hGraph edges: - const_
iterator - Generated skeleton item.
Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/Set.h:132:const_iteratorSource:Analysis/include/Luau/Set.hGraph edges: - constant
- constant_
key - constraint
- constraint_
block - constraint_
generation_ log - constraint_
generator - Node: ConstraintGenerator record
Source:
Analysis/include/Luau/ConstraintGenerator.h(hand-ported; fields only) - constraint_
graph - constraint_
list - constraint_
set - Generated skeleton item.
Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/ConstraintSet.h:14:constraint_setSource:Analysis/include/Luau/ConstraintSet.hGraph edges: - constraint_
snapshot - constraint_
solver - Source:
Analysis/include/Luau/ConstraintSolver.h(hand-ported; fields only) - constraint_
solving_ incomplete_ error - constraint_
step_ snapshot - constraint_
v - constraint_
vertex - contains_
any_ generic_ deprecated - C++
struct ContainsAnyGeneric_DEPRECATED : TypeOnceVisitor(Analysis/include/Luau/TypeUtils.h:404-420,Analysis/src/TypeUtils.cpp:947-981). - contains_
function_ call - contains_
generics - contains_
refinable_ type - control_
flow_ graph - Source:
Analysis/include/Luau/ControlFlowGraph.h:257(hand-ported) C++struct ControlFlowGraph. - count_
mismatch - counter_
state - cst_
node - cst_
stat_ local - data_
flow_ graph - @interface-stub
- data_
flow_ graph_ builder - data_
flow_ result - dcr_
logger - declare
- def
- def_
arena - demoter
- Generated skeleton item.
Node:
cxx:Record:Luau.Analysis:Analysis/src/TypeInfer.cpp:775:demoterSource:Analysis/src/TypeInfer.cppGraph edges: - dense_
hash_ map - dense_
hash_ set - deprecated_
api_ used - dfg_
scope - disjunction_
control_ flow_ graph - disjunction_
refinement - Generated skeleton item. @skeleton-stub
Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/Refinement.h:40:disjunctionSource:Analysis/include/Luau/Refinement.hGraph edges: - duplicate_
generic_ parameter - duplicate_
type_ definition - dynamic_
property_ lookup_ on_ extern_ types_ unsafe - element_
result - eq_
predicate - equality_
constraint - equivalence
- Generated skeleton item. @skeleton-stub
Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/Refinement.h:46:equivalenceSource:Analysis/include/Luau/Refinement.hGraph edges: - error
- error_
converter - error_
snapshot - error_
suppression - error_
type - error_
type_ pack - expected_
type_ visitor - explicit_
function_ annotation_ recommended - expr_
or_ local - expr_
printer - expr_
types_ at_ location - extern_
type - extra_
information - failed_
to_ compile - field
- Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/LValue.h:19:fieldSource:Analysis/include/Luau/LValue.h(LValue.h:19-27, hand-ported) - file_
resolver - find_
all_ union_ members - find_
cyclic_ types - Node:
cxx:Record:Luau.Analysis:Analysis/src/ToString.cpp:49:find_cyclic_typesSource:Analysis/src/ToString.cpp:49-124(hand-ported) - find_
expr_ or_ local - find_
full_ ancestry - find_
function_ type_ in - find_
node - find_
refinement_ blockers - find_
simplification_ blockers - find_
user_ type_ function_ blockers - fragment_
autocomplete_ ancestry_ result - fragment_
autocomplete_ result - fragment_
autocomplete_ status_ result - fragment_
autocomplete_ type_ cloner - Source:
Analysis/src/Clone.cpp:473-545. - fragment_
context - fragment_
parse_ result - fragment_
region - fragment_
type_ check_ result - fragment_
type_ check_ status - free_
type - free_
type_ pack - free_
type_ searcher - freeze_
type_ function_ types - frontend
- Source:
Analysis/include/Luau/Frontend.h(hand-ported; fields only) - frontend_
cancellation_ token - frontend_
module_ resolver - Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/Frontend.h:133:frontend_module_resolverSource:Analysis/include/Luau/Frontend.h - frontend_
options - fuel_
initializer - function_
argument - function_
call_ constraint - function_
capture - function_
check_ constraint - function_
definition - function_
documentation - function_
does_ not_ take_ self - function_
exits_ without_ returning - function_
graph_ reduction_ result - function_
info - function_
parameter_ documentation - function_
requires_ self - function_
signature - function_
type - generalization_
constraint - generalization_
params - generalization_
result - generalize_
step_ snapshot - generic_
bounds - generic_
bounds_ mismatch - generic_
counter - generic_
error - generic_
pack_ mapping - Source:
Analysis/include/Luau/TypePath.h:115(hand-ported) - generic_
type - generic_
type_ count_ mismatch - generic_
type_ definition - generic_
type_ definitions - generic_
type_ finder - generic_
type_ pack - generic_
type_ pack_ count_ mismatch - generic_
type_ pack_ definition - generic_
type_ visitor - Generated skeleton item.
Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/VisitType.h:70:generic_type_visitorSource:Analysis/include/Luau/VisitType.h:70-215(hand-ported) - global_
linter - global_
linter_ alt_ b - global_
linter_ alt_ c - global_
linter_ alt_ d - global_
name_ collector - global_
prepopulator - global_
types - has_
free_ type - has_
indexer_ constraint - has_
prop_ constraint - hash_
blocked_ constraint_ id - hash_
bool_ name_ pair - hash_
instantiation_ signature - hash_
luau_ symbol - hash_
subtype_ constraint_ record - hold_
conditional_ execution - i_
fragment_ autocomplete_ reporter - identifier
- identifier_
hash - illegal_
require - in_
conditional_ context - incomplete_
inference - incorrect_
generic_ parameter_ count - index
- index_
collector - indexer_
index_ collector - inference
- @interface-stub
- inference_
pack - Source:
Analysis/include/Luau/ConstraintGenerator.h:49-61(hand-ported) - inferred_
binding - infinite_
type_ finder - inplace_
demoter - instance_
collector - instance_
collector_ 2 - instantiate_
generics_ on_ non_ function - instantiation
- instantiation_
2 - instantiation_
queuer - instantiation_
queuer_ deprecated - instantiation_
signature - interior_
free_ types - internal_
compiler_ error - internal_
error - internal_
error_ reporter - internal_
type_ finder - internal_
type_ function_ finder - intersection_
builder - intersection_
type - invalid_
name_ checker - is_
a_ predicate - iterable_
constraint - iterative_
type_ function_ type_ visitor - iterative_
type_ visitor - iterator
- join
- json_
emitter - Source:
Analysis/include/Luau/JsonEmitter.h(hand-ported; fields only) - klass
- l_
value_ hasher - lazy_
type - lint_
comparison_ precedence - lint_
context - lint_
deprecated_ api - lint_
duplicate_ condition - lint_
duplicate_ function - lint_
duplicate_ local - lint_
for_ range - lint_
format_ string - lint_
global_ local - lint_
implicit_ return - lint_
integer_ parsing - lint_
local_ hygiene - lint_
misleading_ and_ or - lint_
multi_ line_ statement - lint_
redundant_ native_ attribute - lint_
result - lint_
same_ line_ statement - lint_
table_ literal - lint_
table_ operations - lint_
unbalanced_ assignment - lint_
uninitialized_ local - lint_
unknown_ type - lint_
unreachable_ code - lint_
unused_ function - load_
definition_ file_ result - local_
linter - local_
linter_ alt_ b - location
- lua_
l_ reg - luau_
temp_ thread_ popper - magic_
assert - magic_
clone - magic_
find - magic_
format - magic_
freeze - magic_
function - magic_
function_ call_ context - magic_
function_ type_ check_ context - magic_
gmatch - magic_
match - magic_
pack - magic_
pcall - magic_
refinement_ context - magic_
require - magic_
select - magic_
set_ metatable - mapped_
generic_ environment - mapped_
generic_ frame - metatable_
type - missing_
properties - missing_
union_ property - mode
- module
- Generated skeleton item.
Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/Module.h:76:moduleSource:Analysis/include/Luau/Module.hGraph edges: - module_
has_ cyclic_ dependency - module_
info - module_
resolver - multiple_
nonviable_ overloads - name_
constraint - native_
stack_ guard - nearest_
likely_ block_ finder - nearest_
statement_ finder - negation_
control_ flow_ graph - negation_
refinement - Generated skeleton item. @skeleton-stub
Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/Refinement.h:29:negationSource:Analysis/include/Luau/Refinement.hGraph edges: - negation_
type - negation_
type_ finder - never_
type - no_
refine_ type - node
- Faithful port of
Luau::detail::Node(Analysis/src/TopoSortStatements.cpp:78). - non_
exceptional_ recursion_ limiter - non_
strict_ context - non_
strict_ function_ definition_ error - non_
strict_ type_ checker - Source:
Analysis/src/NonStrictTypeChecker.cpp(hand-ported; fields only) - normalization_
too_ complex - normalized_
extern_ type - normalized_
function_ type - normalized_
string_ type - normalized_
type - normalizer
- normalizer_
hit_ limits - not_
a_ table - not_
bindable - not_
null - Faithful runtime shape for
Luau::NotNull<T>(Analysis/include/Luau/NotNull.h). - not_
predicate - Generated skeleton item. @skeleton-stub
Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/Predicate.h:69:not_predicateSource:Analysis/include/Luau/Predicate.hGraph edges: - nothing
- null_
file_ resolver - null_
module_ resolver - Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/ModuleResolver.h:51:null_module_resolverSource:Analysis/include/Luau/ModuleResolver.h - obj
- object_
emitter - occurs_
check_ failed - only_
tables_ can_ have_ methods - optional_
value_ access - or_
predicate - Generated skeleton item. @skeleton-stub
Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/Predicate.h:61:or_predicateSource:Analysis/include/Luau/Predicate.hGraph edges: - ordered_
map - overload_
error_ entry - overload_
resolution - overload_
resolver - overloaded_
function_ documentation - pack_
slice - pack_
subtype_ constraint - pack_
where_ clause_ needed - path
- Source:
Analysis/include/Luau/TypePath.h:139+Analysis/src/TypePath.cpp:72-122(hand-ported) - path_
builder - @interface-stub
- path_
hash - @interface-stub
- pending_
expansion_ type - pending_
type - pending_
type_ pack - phi
- position
- primitive_
type - primitive_
type_ constraint - promote_
type_ levels - property_
access_ violation - property_
type - Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/Type.h:429:propertySource:Analysis/include/Luau/Type.h(Type.h:429-487, hand-ported; the previous occupant was a Normalize-flavored shape that clobbered this file) - property_
type_ path - property_
types - proposition_
control_ flow_ graph - proposition_
refinement - push_
function_ type_ constraint - push_
scope - push_
type_ constraint - push_
type_ result - quantifier
- reasonings
- rec
- recursion_
counter - recursion_
limit_ exception - recursion_
limiter - recursive_
restraint_ violation - reduce_
constraint - reduce_
pack_ constraint - reduction
- reference_
count_ initializer - refine
- refine_
type_ scrubber - refinement_
arena_ control_ flow_ graph - Source:
Analysis/src/ControlFlowGraph.cpp:18-54(hand-ported) - refinement_
arena_ refinement - Source:
Analysis/src/Refinement.cpp(hand-ported) - refinement_
key - refinement_
key_ arena - refinement_
partition - replace_
generics - replacer
- replacer_
deprecated - require_
alias - require_
cycle - require_
node - require_
suggester - require_
suggestion - require_
trace_ result - require_
tracer - reserved_
identifier - resetter
- result
- runtime_
error - scope
- Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/Scope.h:33:scopeSource:Analysis/include/Luau/Scope.h(Scope.h:33-118, hand-ported; fields only, methods are separate schedule items) - scope_
snapshot - scoped_
assign - scoped_
exit - selected_
overload - serialized_
function_ scope - serialized_
generic - set
- Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/Set.h:18:setSource:Analysis/include/Luau/Set.h:18-130(hand-ported) - simplify_
constraint - simplify_
result - singleton_
type - singleton_
variant - skip_
cache_ for_ type - source_
code - source_
module - Generated skeleton item.
Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/Module.h:36:source_moduleSource:Analysis/include/Luau/Module.hGraph edges: - source_
node - stack_
pusher_ non_ strict_ type_ checker - Generated skeleton item.
Node:
cxx:Record:Luau.Analysis:Analysis/src/NonStrictTypeChecker.cpp:36:stack_pusherSource:Analysis/src/NonStrictTypeChecker.cppGraph edges: - stack_
pusher_ type_ checker_ 2 - state_
dot - statement
- stats
- std_
equal_ to_ const_ luau_ type_ ids - std_
equal_ to_ luau_ type_ ids - std_
hash_ const_ luau_ type_ ids - std_
hash_ luau_ type_ ids - string_
ref - string_
singleton - stringifier_
state - substitution
- subtype_
constraint - subtype_
constraint_ record - subtyping
- subtyping_
environment - Source:
Analysis/include/Luau/Subtyping.h(hand-ported; fields only) - subtyping_
reasoning - subtyping_
reasoning_ hash - subtyping_
result - subtyping_
unifier - swapped_
generic_ type_ parameter - sym_def
- symbol
- syntax_
error - table_
documentation - table_
indexer - table_
prop_ lookup_ result - table_
shape - table_
state - table_
type - Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/Type.h:488:table_typeSource:Analysis/include/Luau/Type.h(Type.h:488-524, hand-ported) - tarjan
- tarjan_
node - tarjan_
worklist_ vertex - time_
limit_ error - to_
dot_ options - to_
string_ name_ map - to_
string_ options - to_
string_ result - to_
string_ span - traversal_
state - truthy_
predicate - try_
pair - txn_log
- type
- type_
alias_ expansion_ constraint - type_
arena - Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/TypeArena.h:15:type_arenaSource:Analysis/include/Luau/TypeArena.h(TypeArena.h:15-27, hand-ported) - type_
attacher - type_
binding_ snapshot - type_
cacher - type_
check_ limits - type_
check_ log - type_
checker - Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/TypeInfer.h:62:type_checkerSource:Analysis/include/Luau/TypeInfer.h(hand-ported; fields only) - type_
checker_ 2 - Node: TypeChecker2 record
Source:
Analysis/include/Luau/TypeChecker2.h(hand-ported; fields only) - type_
cloner - Source:
Analysis/src/Clone.cpp:25(hand-ported; fields only) Clone.h:15: using SeenTypes = std::unordered_map<TypeId, TypeId>; Clone.h:16: using SeenTypePacks = std::unordered_map<TypePackId, TypePackId>; - type_
error - type_
error_ data - type_
error_ summary - type_
error_ to_ string_ options - type_
fun - type_
function - type_
function_ any_ type - type_
function_ boolean_ singleton - type_
function_ cloner - Generated skeleton item.
Node:
cxx:Record:Luau.Analysis:Analysis/src/TypeFunctionRuntime.cpp:2541:type_function_clonerSource:Analysis/src/TypeFunctionRuntime.cppGraph edges: - type_
function_ context - @interface-stub
- type_
function_ deserializer - Source:
Analysis/src/TypeFunctionRuntimeBuilder.cpp:552-581 - type_
function_ error - type_
function_ error_ converter - type_
function_ extern_ type - type_
function_ finder - type_
function_ function_ type - type_
function_ generic_ type - type_
function_ generic_ type_ pack - type_
function_ inference_ result - type_
function_ instance_ state - type_
function_ instance_ type - type_
function_ instance_ type_ pack - type_
function_ intersection_ type - type_
function_ missing - type_
function_ negation_ type - type_
function_ never_ type - type_
function_ primitive_ type - type_
function_ property - type_
function_ reducer - type_
function_ reduction_ guess_ result - type_
function_ reduction_ guesser - type_
function_ reduction_ result - type_
function_ runtime - type_
function_ runtime_ builder_ state - Generated skeleton item.
Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/TypeFunctionRuntimeBuilder.h:20:type_function_runtime_builder_stateSource:Analysis/include/Luau/TypeFunctionRuntimeBuilder.hGraph edges: - type_
function_ serializer - type_
function_ singleton_ type - type_
function_ string_ singleton - type_
function_ table_ indexer - type_
function_ table_ type - type_
function_ type - type_
function_ type_ pack - type_
function_ type_ pack_ var - type_
function_ union_ type - type_
function_ unknown_ type - type_
function_ variadic_ type_ pack - type_
guard - type_
guard_ predicate - type_
id_ pair_ hash - type_
ids - type_
instantiation_ constraint - type_
instantiation_ count_ mismatch - type_
iterator - Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/Type.h:1130:type_iteratorSource:Analysis/include/Luau/Type.h:1126-1248(hand-ported) - type_
level - type_
mismatch - type_
once_ visitor - Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/VisitType.h:522:type_once_visitorSource:Analysis/include/Luau/VisitType.h:522-529(hand-ported) - type_
or_ pack - type_
pack - type_
pack_ function - type_
pack_ iterator - type_
pack_ mismatch - type_
pack_ rehydration_ visitor - type_
pack_ stringifier - Node:
cxx:Record:Luau.Analysis:Analysis/src/ToString.cpp:1167:type_pack_stringifierSource:Analysis/src/ToString.cpp:1167-1184(hand-ported) - type_
pack_ var - type_
pack_ variant - type_
pair_ hash - type_
reduction_ reentrancy_ guard - type_
rehydration_ options - type_
rehydration_ visitor - type_
remover - type_
searcher - type_
simplifier - type_
solve_ log - type_
stringifier - type_
variant - type_
visitor - Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/VisitType.h:513:type_visitorSource:Analysis/include/Luau/VisitType.h:513-519(hand-ported) - typed_
allocator - types_
are_ unrelated - unapplied_
type_ function - unblocked_
types - unexpected_
array_ like_ table_ item - unexpected_
type_ in_ subtyping - unexpected_
type_ pack_ in_ subtyping - unifiable
- unification_
too_ complex - unifier
- Source:
Analysis/include/Luau/Unifier.h(hand-ported; fields only) - unifier_
2 - unifier_
counters - unifier_
options - unifier_
shared_ state - uninhabited_
type_ function - uninhabited_
type_ pack_ function - union_
builder - union_
type - unknown_
prop_ but_ found_ like_ prop - unknown_
property - unknown_
require - unknown_
symbol - unknown_
symbol_ alt_ b - unknown_
symbol_ alt_ c - unknown_
symbol_ alt_ d - unknown_
type - unmapped
- unpack_
constraint - unscoped_
generic_ finder - unsupported_
type - unsupported_
type_ pack - usage_
finder - user_
cancel_ error - user_
defined_ function_ data - user_
defined_ type_ function_ error - variadic
- Generated skeleton item. @skeleton-stub
Node:
cxx:Record:Luau.Analysis:Analysis/include/Luau/Refinement.h:24:variadicSource:Analysis/include/Luau/Refinement.hGraph edges: - variadic_
type_ pack - variant
- Path alias: models translating Analysis items reach for
crate::records::variant::VariantN; the family lives in luau-common. - visitor
- warning_
comparator - weird_
iter - where_
clause_ needed - widen
- with_
predicate - work_
item_ iterative_ type_ function_ type_ visitor - @interface-stub
- work_
item_ iterative_ type_ visitor - @interface-stub