Skip to main content Module methods Copy item path Source ambiguous_function_call_arguments ambiguous_function_call_function ambiguous_function_call_new ambiguous_function_call_operator_eq and_predicate_and_predicate @interface-stub anyification_anyification_anyification anyification_anyification_anyification_alt_b anyification_clean_anyification anyification_clean_anyification_alt_b anyification_ignore_children_anyification anyification_ignore_children_anyification_alt_b anyification_is_dirty_anyification anyification_is_dirty_anyification_alt_b apply_mapped_generics_apply_mapped_generics apply_mapped_generics_clean_subtyping apply_mapped_generics_clean_subtyping_alt_b apply_mapped_generics_ignore_children_subtyping apply_mapped_generics_ignore_children_subtyping_alt_b apply_mapped_generics_is_dirty_subtyping apply_mapped_generics_is_dirty_subtyping_alt_b apply_type_function_apply_type_function apply_type_function_clean_apply_type_function apply_type_function_clean_apply_type_function_alt_b apply_type_function_ignore_children_apply_type_function apply_type_function_ignore_children_apply_type_function_alt_b apply_type_function_is_dirty_apply_type_function apply_type_function_is_dirty_apply_type_function_alt_b arc_collector_add Faithful port of Luau::detail::ArcCollector::add
(Analysis/src/TopoSortStatements.cpp:220-233). arc_collector_arc_collector Faithful port of Luau::detail::ArcCollector::ArcCollector
(Analysis/src/TopoSortStatements.cpp:207-217). arc_collector_visit_topo_sort_statements arc_collector_visit_topo_sort_statements_alt_b arc_collector_visit_topo_sort_statements_alt_c arc_collector_visit_topo_sort_statements_alt_d arc_collector_visit_topo_sort_statements_alt_e arc_collector_visit_topo_sort_statements_alt_f arc_collector_visit_topo_sort_statements_alt_g arc_collector_visit_topo_sort_statements_alt_h arc_collector_visit_topo_sort_statements_alt_i arc_collector_visit_topo_sort_statements_alt_j arc_collector_visit_topo_sort_statements_alt_k array_emitter_array_emitter_json_emitter array_emitter_array_emitter_json_emitter_alt_b array_emitter_finish array_emitter_write_value Source: Analysis/include/Luau/JsonEmitter.h (lines 190-200, hand-ported) assign_assign ast_expr_table_finder_ast_expr_table_finder ast_expr_table_finder_visit_ast_utils ast_expr_table_finder_visit_ast_utils_alt_b ast_json_encoder_append_chunk ast_json_encoder_ast_json_encoder ast_json_encoder_ast_visitor Source: Analysis/src/AstJsonEncoder.cpp:1174-1518 (hand-ported) ast_json_encoder_new_chunk ast_json_encoder_pop_comma ast_json_encoder_push_comma ast_json_encoder_str ast_json_encoder_visit_ast_json_encoder Source: Analysis/src/AstJsonEncoder.cpp:1174-1185 (hand-ported) ast_json_encoder_visit_ast_json_encoder_alt_aa ast_json_encoder_visit_ast_json_encoder_alt_ab ast_json_encoder_visit_ast_json_encoder_alt_ac ast_json_encoder_visit_ast_json_encoder_alt_ad ast_json_encoder_visit_ast_json_encoder_alt_ae Source: Analysis/src/AstJsonEncoder.cpp:1381-1385 (hand-ported) ast_json_encoder_visit_ast_json_encoder_alt_af Source: Analysis/src/AstJsonEncoder.cpp:1387-1391 (hand-ported) ast_json_encoder_visit_ast_json_encoder_alt_ag Source: Analysis/src/AstJsonEncoder.cpp:1393-1397 (hand-ported) ast_json_encoder_visit_ast_json_encoder_alt_ah Source: Analysis/src/AstJsonEncoder.cpp:1399-1403 (hand-ported) ast_json_encoder_visit_ast_json_encoder_alt_ai Source: Analysis/src/AstJsonEncoder.cpp:1405-1409 (hand-ported) ast_json_encoder_visit_ast_json_encoder_alt_aj ast_json_encoder_visit_ast_json_encoder_alt_ak Source: Analysis/src/AstJsonEncoder.cpp:1417-1421 (hand-ported) ast_json_encoder_visit_ast_json_encoder_alt_al Source: Analysis/src/AstJsonEncoder.cpp:1423-1427 (hand-ported) ast_json_encoder_visit_ast_json_encoder_alt_am Source: Analysis/src/AstJsonEncoder.cpp:1429-1433 (hand-ported) ast_json_encoder_visit_ast_json_encoder_alt_an Source: Analysis/src/AstJsonEncoder.cpp:1435-1439 (hand-ported) ast_json_encoder_visit_ast_json_encoder_alt_ao Source: Analysis/src/AstJsonEncoder.cpp:1441-1445 (hand-ported) ast_json_encoder_visit_ast_json_encoder_alt_ap Source: Analysis/src/AstJsonEncoder.cpp:1447-1451 (hand-ported) ast_json_encoder_visit_ast_json_encoder_alt_aq Source: Analysis/src/AstJsonEncoder.cpp:1459-1463 (hand-ported) ast_json_encoder_visit_ast_json_encoder_alt_ar ast_json_encoder_visit_ast_json_encoder_alt_as ast_json_encoder_visit_ast_json_encoder_alt_at ast_json_encoder_visit_ast_json_encoder_alt_au ast_json_encoder_visit_ast_json_encoder_alt_av ast_json_encoder_visit_ast_json_encoder_alt_aw ast_json_encoder_visit_ast_json_encoder_alt_ax ast_json_encoder_visit_ast_json_encoder_alt_ay Source: Analysis/src/AstJsonEncoder.cpp:1495-1499 (hand-ported) ast_json_encoder_visit_ast_json_encoder_alt_az ast_json_encoder_visit_ast_json_encoder_alt_b Source: Analysis/src/AstJsonEncoder.cpp:1187-1198 (hand-ported) ast_json_encoder_visit_ast_json_encoder_alt_ba ast_json_encoder_visit_ast_json_encoder_alt_bb ast_json_encoder_visit_ast_json_encoder_alt_c Source: Analysis/src/AstJsonEncoder.cpp:1200-1211 (hand-ported) ast_json_encoder_visit_ast_json_encoder_alt_d ast_json_encoder_visit_ast_json_encoder_alt_e ast_json_encoder_visit_ast_json_encoder_alt_f Source: Analysis/src/AstJsonEncoder.cpp:1225-1229 (hand-ported) ast_json_encoder_visit_ast_json_encoder_alt_g ast_json_encoder_visit_ast_json_encoder_alt_h ast_json_encoder_visit_ast_json_encoder_alt_i Source: Analysis/src/AstJsonEncoder.cpp:1243-1247 (hand-ported) ast_json_encoder_visit_ast_json_encoder_alt_j ast_json_encoder_visit_ast_json_encoder_alt_k ast_json_encoder_visit_ast_json_encoder_alt_l ast_json_encoder_visit_ast_json_encoder_alt_m ast_json_encoder_visit_ast_json_encoder_alt_n ast_json_encoder_visit_ast_json_encoder_alt_o ast_json_encoder_visit_ast_json_encoder_alt_p ast_json_encoder_visit_ast_json_encoder_alt_q ast_json_encoder_visit_ast_json_encoder_alt_r ast_json_encoder_visit_ast_json_encoder_alt_s ast_json_encoder_visit_ast_json_encoder_alt_t ast_json_encoder_visit_ast_json_encoder_alt_u Source: Analysis/src/AstJsonEncoder.cpp:1315-1319 (hand-ported) ast_json_encoder_visit_ast_json_encoder_alt_v ast_json_encoder_visit_ast_json_encoder_alt_w ast_json_encoder_visit_ast_json_encoder_alt_x ast_json_encoder_visit_ast_json_encoder_alt_y ast_json_encoder_visit_ast_json_encoder_alt_z ast_json_encoder_write_ast_json_encoder Node: cxx:Method:Luau.Analysis:Analysis/src/AstJsonEncoder.cpp:88:ast_json_encoder_write
Source: Analysis/src/AstJsonEncoder.cpp:88-98 (hand-ported)
C++ template<typename T> void write(string_view propName, const T& value).
The Rust form of this template is the generic AstJsonEncoder::write in
ast_json_encoder_write_primitives (overload set = the WriteJson trait). ast_json_encoder_write_ast_json_encoder_alt_aa Source: Analysis/src/AstJsonEncoder.cpp:341-351 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_ab Source: Analysis/src/AstJsonEncoder.cpp:353-363 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_ac ast_json_encoder_write_ast_json_encoder_alt_ad Source: Analysis/src/AstJsonEncoder.cpp:370-385 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_ae ast_json_encoder_write_ast_json_encoder_alt_af Source: Analysis/src/AstJsonEncoder.cpp:394-407 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_ag Source: Analysis/src/AstJsonEncoder.cpp:409-422 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_ah Source: Analysis/src/AstJsonEncoder.cpp:424-435 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_ai Source: Analysis/src/AstJsonEncoder.cpp:437-462 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_aj ast_json_encoder_write_ast_json_encoder_alt_ak Source: Analysis/src/AstJsonEncoder.cpp:472-482 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_al Source: Analysis/src/AstJsonEncoder.cpp:484-494 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_am Source: Analysis/src/AstJsonEncoder.cpp:496-506 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_an Node: cxx:Method:Luau.Analysis:Analysis/src/AstJsonEncoder.cpp:508:ast_json_encoder_write
Source: Analysis/src/AstJsonEncoder.cpp:508-519 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_ao Source: Analysis/src/AstJsonEncoder.cpp:521-539 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_ap Source: Analysis/src/AstJsonEncoder.cpp:541-555 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_aq Source: Analysis/src/AstJsonEncoder.cpp:557-568 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_ar Source: Analysis/src/AstJsonEncoder.cpp:570-580 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_as Node: cxx:Method:Luau.Analysis:Analysis/src/AstJsonEncoder.cpp:582:ast_json_encoder_write
Source: Analysis/src/AstJsonEncoder.cpp:582-593 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_at Source: Analysis/src/AstJsonEncoder.cpp:595-606 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_au Node: cxx:Method:Luau.Analysis:Analysis/src/AstJsonEncoder.cpp:608:ast_json_encoder_write
Source: Analysis/src/AstJsonEncoder.cpp:608-647 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_av Source: Analysis/src/AstJsonEncoder.cpp:649-661 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_aw Source: Analysis/src/AstJsonEncoder.cpp:663-674 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_ax Source: Analysis/src/AstJsonEncoder.cpp:676-687 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_ay Source: Analysis/src/AstJsonEncoder.cpp:689-712 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_az Source: Analysis/src/AstJsonEncoder.cpp:714-728 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_b ast_json_encoder_write_ast_json_encoder_alt_ba Source: Analysis/src/AstJsonEncoder.cpp:730-742 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_bb Source: Analysis/src/AstJsonEncoder.cpp:744-755 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_bc ast_json_encoder_write_ast_json_encoder_alt_bd ast_json_encoder_write_ast_json_encoder_alt_be Source: Analysis/src/AstJsonEncoder.cpp:767-777 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_bf Source: Analysis/src/AstJsonEncoder.cpp:779-789 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_bq Source: Analysis/src/AstJsonEncoder.cpp:942-953 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_bv Source: Analysis/src/AstJsonEncoder.cpp:1010-1022 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_bw Source: Analysis/src/AstJsonEncoder.cpp:1024-1035 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_bx Source: Analysis/src/AstJsonEncoder.cpp:1037-1053 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_by Source: Analysis/src/AstJsonEncoder.cpp:1055-1070 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_bz Source: Analysis/src/AstJsonEncoder.cpp:1072-1082 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_c Source: Analysis/src/AstJsonEncoder.cpp:108-131 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_ca ast_json_encoder_write_ast_json_encoder_alt_cb Source: Analysis/src/AstJsonEncoder.cpp:1089-1099 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_cc Source: Analysis/src/AstJsonEncoder.cpp:1101-1111 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_cd Source: Analysis/src/AstJsonEncoder.cpp:1113-1124 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_ce Source: Analysis/src/AstJsonEncoder.cpp:1126-1136 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_cf Source: Analysis/src/AstJsonEncoder.cpp:1138-1148 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_cg Source: Analysis/src/AstJsonEncoder.cpp:1150-1160 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_ch Source: Analysis/src/AstJsonEncoder.cpp:1162-1172 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_d ast_json_encoder_write_ast_json_encoder_alt_e ast_json_encoder_write_ast_json_encoder_alt_f ast_json_encoder_write_ast_json_encoder_alt_g ast_json_encoder_write_ast_json_encoder_alt_h ast_json_encoder_write_ast_json_encoder_alt_i ast_json_encoder_write_ast_json_encoder_alt_j Node: cxx:Method:Luau.Analysis:Analysis/src/AstJsonEncoder.cpp:180:ast_json_encoder_write
Source: Analysis/src/AstJsonEncoder.cpp (AstJsonEncoder.cpp:180-183, hand-ported) ast_json_encoder_write_ast_json_encoder_alt_k ast_json_encoder_write_ast_json_encoder_alt_l Node: cxx:Method:Luau.Analysis:Analysis/src/AstJsonEncoder.cpp:188:ast_json_encoder_write
Source: Analysis/src/AstJsonEncoder.cpp (AstJsonEncoder.cpp:188-191, hand-ported) ast_json_encoder_write_ast_json_encoder_alt_m ast_json_encoder_write_ast_json_encoder_alt_n ast_json_encoder_write_ast_json_encoder_alt_o ast_json_encoder_write_ast_json_encoder_alt_p Node: cxx:Method:Luau.Analysis:Analysis/src/AstJsonEncoder.cpp:210:ast_json_encoder_write
Source: Analysis/src/AstJsonEncoder.cpp (AstJsonEncoder.cpp:210-219, hand-ported) ast_json_encoder_write_ast_json_encoder_alt_q ast_json_encoder_write_ast_json_encoder_alt_r ast_json_encoder_write_ast_json_encoder_alt_s Source: Analysis/src/AstJsonEncoder.cpp:237-252 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_t Source: Analysis/src/AstJsonEncoder.cpp:271-274 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_u Source: Analysis/src/AstJsonEncoder.cpp:276-286 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_v ast_json_encoder_write_ast_json_encoder_alt_w Source: Analysis/src/AstJsonEncoder.cpp:293-303 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_x Source: Analysis/src/AstJsonEncoder.cpp:305-315 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_y Source: Analysis/src/AstJsonEncoder.cpp:317-327 (hand-ported) ast_json_encoder_write_ast_json_encoder_alt_z Source: Analysis/src/AstJsonEncoder.cpp:329-339 (hand-ported) ast_json_encoder_write_ast_stat_assign Source: Analysis/src/AstJsonEncoder.cpp:838-849 (hand-ported) ast_json_encoder_write_ast_stat_compound_assign Source: Analysis/src/AstJsonEncoder.cpp:851-863 (hand-ported) ast_json_encoder_write_ast_stat_declare_extern_type Source: Analysis/src/AstJsonEncoder.cpp:955-969 (hand-ported) ast_json_encoder_write_ast_stat_declare_function Source: Analysis/src/AstJsonEncoder.cpp:907-926 (hand-ported) ast_json_encoder_write_ast_stat_declare_global Source: Analysis/src/AstJsonEncoder.cpp:928-940 (hand-ported) ast_json_encoder_write_ast_stat_error Source: Analysis/src/AstJsonEncoder.cpp:971-982 (hand-ported) ast_json_encoder_write_ast_stat_for Source: Analysis/src/AstJsonEncoder.cpp:804-820 (hand-ported) ast_json_encoder_write_ast_stat_for_in Source: Analysis/src/AstJsonEncoder.cpp:822-836 (hand-ported) ast_json_encoder_write_ast_stat_function Source: Analysis/src/AstJsonEncoder.cpp:865-876 (hand-ported) ast_json_encoder_write_ast_stat_local Source: Analysis/src/AstJsonEncoder.cpp:791-802 (hand-ported) ast_json_encoder_write_ast_stat_local_function Source: Analysis/src/AstJsonEncoder.cpp:878-889 (hand-ported) ast_json_encoder_write_ast_stat_type_alias Source: Analysis/src/AstJsonEncoder.cpp:891-905 (hand-ported) ast_json_encoder_write_ast_type_or_pack Source: Analysis/src/AstJsonEncoder.cpp:984-990 (hand-ported) ast_json_encoder_write_ast_type_reference Source: Analysis/src/AstJsonEncoder.cpp:992-1008 (hand-ported) ast_json_encoder_write_comments Node: cxx:Method:Luau.Analysis:Analysis/src/AstJsonEncoder.cpp:1519:ast_json_encoder_write_comments
Source: Analysis/src/AstJsonEncoder.cpp (AstJsonEncoder.cpp:1519-1552, hand-ported) ast_json_encoder_write_json_bridges Source: Analysis/src/AstJsonEncoder.cpp:89-1052 (hand-ported)
C++ resolves write(propName, value) by overload on the static type of
value; Rust resolves it through WriteJson. One impl per C++ overload,
each delegating to the inherent method holding that overload’s body.
Base-node pointers go through write(AstNode*) = node->visit(this)
(AstJsonEncoder.cpp:271); concrete-node pointers bind their concrete
overload exactly as C++ overload resolution does. ast_json_encoder_write_node_ast_json_encoder ast_json_encoder_write_node_ast_json_encoder_alt_b Source: Analysis/src/AstJsonEncoder.cpp:259-269 (hand-ported) ast_json_encoder_write_primitives Source: Analysis/src/AstJsonEncoder.cpp (lines 89-210, hand-ported)
The C++ overloaded write(...) family, expressed as the Rust shape of
overloading: a WriteJson trait + a generic write(propName, value).
PROP!(emitter, node, prop) expands to emitter.write("prop", &node.prop). ast_json_encoder_write_raw_ast_json_encoder Node: cxx:Method:Luau.Analysis:Analysis/src/AstJsonEncoder.cpp:73:ast_json_encode
Source: Analysis/src/AstJsonEncoder.cpp (AstJsonEncoder.cpp:73-76, hand-ported) ast_json_encoder_write_raw_ast_json_encoder_alt_b Node: cxx:Method:Luau.Analysis:Analysis/src/AstJsonEncoder.cpp:78:ast_json_encode
Source: Analysis/src/AstJsonEncoder.cpp (AstJsonEncoder.cpp:78-81, hand-ported) ast_json_encoder_write_string ast_json_encoder_write_type Node: cxx:Method:Luau.Analysis:Analysis/src/AstJsonEncoder.cpp:83:write_type
Source: Analysis/src/AstJsonEncoder.cpp (AstJsonEncoder.cpp:83-86, hand-ported) autocomplete_node_finder_autocomplete_node_finder autocomplete_node_finder_visit_ast_query autocomplete_node_finder_visit_ast_query_alt_b autocomplete_node_finder_visit_ast_query_alt_c autocomplete_node_finder_visit_ast_query_alt_d autocomplete_node_finder_visit_ast_query_alt_e autocomplete_node_finder_visit_ast_query_alt_f autocomplete_result_autocomplete_result_autocomplete_types autocomplete_result_autocomplete_result_autocomplete_types_alt_b bidirectional_type_pusher_bidirectional_type_pusher bidirectional_type_pusher_push_type Faithful port of BidirectionalTypePusher::pushType
(Analysis/src/TableLiteralInference.cpp:115-359). block_add_successor block_block block_contains_definition block_get_instructions block_get_predecessors Source: Analysis/src/ControlFlowGraph.cpp:92-95 (hand-ported)
C++ const std::vector<BlockId>& Block::getPredecessors() const. block_get_reaching_definition block_get_successors Source: Analysis/src/ControlFlowGraph.cpp:97-100 (hand-ported)
C++ const std::vector<BlockId>& Block::getSuccessors() const. block_set_reaching_definition blocked_type_blocked_type blocked_type_finder_blocked_type_finder blocked_type_finder_visit_constraint_solver blocked_type_finder_visit_constraint_solver_alt_b blocked_type_get_owner blocked_type_in_literal_visitor_blocked_type_in_literal_visitor blocked_type_in_literal_visitor_visit_type_utils blocked_type_in_literal_visitor_visit_type_utils_alt_b blocked_type_pack_blocked_type_pack blocked_type_replace_owner blocked_type_set_owner boolean_singleton_operator_eq boolean_singleton_operator_ne bound_bound built_in_type_function_error_operator_eq builtin_type_functions_add_to_scope builtin_type_functions_builtin_type_functions_builtin_type_functions builtin_type_functions_builtin_type_functions_builtin_type_functions_alt_b C++ BuiltinTypeFunctions::BuiltinTypeFunctions() — the real default ctor
(BuiltinTypeFunctions.cpp:2555-2585). Brace-initializes all 28 TypeFunction
members {name, reducerFn[, canReduceGenerics]}. Each reducer is stored as a
plain fn item in the reducer field (the project’s MagicFunction-style
fn-pointer wiring; no transmute / no erased cast). builtin_type_functions_operator_assign builtin_types_any_type_pack builtin_types_boolean_type builtin_types_builtin_types_type builtin_types_builtin_types_type_alt_b C++ BuiltinTypes::BuiltinTypes() (Type.cpp:843-880). Allocates the builtin
arena, mints every persistent builtin type/singleton/pack, then freezes the
arena. typeFunctions is make_unique<BuiltinTypeFunctions>(). builtin_types_builtin_types_type_alt_c Node: cxx:Function:Luau.Analysis:Analysis/src/ConstraintSolver.cpp:75:dump_bindings
Source: Analysis/src/ConstraintSolver.cpp:75-85 (hand-ported) builtin_types_drop builtin_types_empty_table_type builtin_types_error_recovery_type builtin_types_error_recovery_type_pack builtin_types_number_type builtin_types_operator_assign builtin_types_string_type cannot_assign_to_never_operator_eq cannot_call_non_function_operator_eq cannot_check_dynamic_string_format_calls_operator_eq cannot_compare_unrelated_types_operator_eq cannot_extend_table_operator_eq cannot_infer_binary_operation_operator_eq cfg_allocator_freeze Source: Analysis/src/ControlFlowGraph.cpp:112-118 (hand-ported)
C++ void CFGAllocator::freeze(). cfg_allocator_new_block Source: Analysis/src/ControlFlowGraph.cpp:102-105 (hand-ported)
C++ Block* CFGAllocator::newBlock(BlockKind kind, std::string debugName). cfg_allocator_new_definition Source: Analysis/src/ControlFlowGraph.cpp:107-110 (hand-ported)
C++ DefId CFGAllocator::newDefinition(Symbol sym, size_t version). cfg_allocator_new_instruction Source: Analysis/include/Luau/ControlFlowGraph.h:237-243 (hand-ported)
C++ template<typename T, typename... Args> InstrId CFGAllocator::newInstruction(Args&&... args). cfg_builder_block_scope_block_scope_control_flow_graph Source: Analysis/include/Luau/ControlFlowGraph.h:348-353 (hand-ported)
C++ CFGBuilder::BlockScope::BlockScope(CFGBuilder& builder, Block* target). cfg_builder_block_scope_block_scope_control_flow_graph_alt_b Source: Analysis/include/Luau/ControlFlowGraph.h:355-358 (hand-ported)
C++ CFGBuilder::BlockScope::~BlockScope(). cfg_builder_block_scope_block_scope_control_flow_graph_alt_c Source: Analysis/include/Luau/ControlFlowGraph.h:360 (hand-ported)
C++ CFGBuilder::BlockScope::BlockScope(const BlockScope&) = delete; cfg_builder_block_scope_operator_assign cfg_builder_cfg_builder Source: Analysis/src/ControlFlowGraph.cpp:127-133 (hand-ported)
C++ explicit CFGBuilder::CFGBuilder(NotNull<CFGAllocator> allocator). cfg_builder_emit Source: Analysis/include/Luau/ControlFlowGraph.h:306-312 (hand-ported)
C++ template<typename T, typename... Args> NotNull<T> CFGBuilder::emit(Block* block, Args&&... args). cfg_builder_emit_join cfg_builder_emit_refine_instruction Source: Analysis/src/ControlFlowGraph.cpp:424-462 (hand-ported)
C++ void CFGBuilder::emitRefineInstruction(Block* block, RefinementId refinement). cfg_builder_fill_join_operands Source: Analysis/src/ControlFlowGraph.cpp:488-497 (hand-ported)
C++ void CFGBuilder::fillJoinOperands(Block* block, Join* j). cfg_builder_is_sealed cfg_builder_lower_control_flow_graph cfg_builder_lower_control_flow_graph_alt_b cfg_builder_lower_control_flow_graph_alt_c cfg_builder_lower_control_flow_graph_alt_d cfg_builder_lower_control_flow_graph_alt_e Source: Analysis/src/ControlFlowGraph.cpp:267-307 (hand-ported)
C++ void CFGBuilder::lower(AstStatIf* statIf). cfg_builder_lower_control_flow_graph_alt_f Source: Analysis/src/ControlFlowGraph.cpp:310-345 (hand-ported)
C++ void CFGBuilder::lower(AstStatWhile* statWhile). cfg_builder_lower_expr_control_flow_graph cfg_builder_lower_expr_control_flow_graph_alt_b Source: Analysis/src/ControlFlowGraph.cpp:362-366 (hand-ported)
C++ void CFGBuilder::lowerExpr(AstExprLocal* local). cfg_builder_make_cfg Source: Analysis/src/ControlFlowGraph.cpp:135-143 (hand-ported)
C++ std::unique_ptr<ControlFlowGraph> CFGBuilder::makeCFG(NotNull<CFGAllocator> allocator, AstStatBlock* block). cfg_builder_new_block Source: Analysis/src/ControlFlowGraph.cpp:245-251 (hand-ported)
C++ Block* CFGBuilder::newBlock(BlockKind kind, std::string debugName, Block* pred). cfg_builder_new_definition cfg_builder_next_version_index cfg_builder_read_variable Source: Analysis/src/ControlFlowGraph.cpp:464-486 (hand-ported)
C++ DefId CFGBuilder::readVariable(BlockId block, Symbol sym). cfg_builder_resolve_condition Source: Analysis/src/ControlFlowGraph.cpp:368-422 (hand-ported)
C++ std::optional<RefinementId> CFGBuilder::resolveCondition(AstExpr* condition). cfg_builder_seal cfg_builder_trim_trivial_join checked_function_call_error_operator_eq checked_function_incorrect_args_operator_eq class_user_data_class_user_data clone_public_interface_clean_module clone_public_interface_clean_module_alt_b clone_public_interface_clone_public_interface clone_public_interface_clone_type clone_public_interface_clone_type_fun clone_public_interface_clone_type_pack clone_public_interface_ignore_children_visit_module clone_public_interface_ignore_children_visit_module_alt_b clone_public_interface_is_dirty_module clone_public_interface_is_dirty_module_alt_b clone_public_interface_is_new_solver code_too_complex_operator_eq collect_union_type_options_collect_union_type_options collect_union_type_options_visit_builtin_type_functions collect_union_type_options_visit_builtin_type_functions_alt_b collect_union_type_options_visit_builtin_type_functions_alt_c collect_union_type_options_visit_builtin_type_functions_alt_d constraint_constraint_constraint Source: Analysis/include/Luau/Constraint.h:345 (hand-ported) constraint_constraint_constraint_alt_b constraint_generator_add_constraint_constraint_generator constraint_generator_add_constraint_constraint_generator_alt_b constraint_generator_add_type_pack @interface-stub constraint_generator_apply_refinements constraint_generator_check_ast_expr_binary constraint_generator_check_binary Source: Analysis/src/ConstraintGenerator.cpp:3606-3731 (hand-ported)
C++ std::tuple<TypeId, TypeId, RefinementId> ConstraintGenerator::checkBinary(...). constraint_generator_check_constraint_generator constraint_generator_check_constraint_generator_alt_b constraint_generator_check_constraint_generator_alt_c constraint_generator_check_constraint_generator_alt_d Source: Analysis/src/ConstraintGenerator.cpp:3182-3203 (hand-ported)
C++ Inference ConstraintGenerator::check(const ScopePtr& scope, AstExprLocal* local). constraint_generator_check_constraint_generator_alt_e Source: Analysis/src/ConstraintGenerator.cpp:3205-3221 (hand-ported)
C++ Inference ConstraintGenerator::check(const ScopePtr& scope, AstExprGlobal* global). constraint_generator_check_constraint_generator_alt_f Source: Analysis/src/ConstraintGenerator.cpp:3281-3285 (hand-ported)
C++ Inference ConstraintGenerator::check(const ScopePtr& scope, AstExprIndexName* indexName). constraint_generator_check_constraint_generator_alt_g Source: Analysis/src/ConstraintGenerator.cpp:3287-3316 (hand-ported)
C++ Inference ConstraintGenerator::check(const ScopePtr& scope, AstExprIndexExpr* indexExpr). constraint_generator_check_constraint_generator_alt_h constraint_generator_check_constraint_generator_alt_i Source: Analysis/src/ConstraintGenerator.cpp:3384-3412 (hand-ported)
C++ Inference ConstraintGenerator::check(const ScopePtr& scope, AstExprUnary* unary). constraint_generator_check_constraint_generator_alt_j constraint_generator_check_constraint_generator_alt_k Source: Analysis/src/ConstraintGenerator.cpp:3512-3532 (hand-ported)
C++ Inference ConstraintGenerator::check(const ScopePtr& scope, AstExprIfElse* ifElse, std::optional<TypeId> expectedType). constraint_generator_check_constraint_generator_alt_l constraint_generator_check_constraint_generator_alt_m Source: Analysis/src/ConstraintGenerator.cpp:3540-3548 (hand-ported)
C++ Inference ConstraintGenerator::check(const ScopePtr& scope, AstExprInterpString* interpString). constraint_generator_check_constraint_generator_alt_n Source: Analysis/src/ConstraintGenerator.cpp:3550-3570 (hand-ported)
C++ Inference ConstraintGenerator::check(const ScopePtr& scope, AstExprInstantiate* explicitTypeInstantiation). constraint_generator_check_constraint_generator_alt_o constraint_generator_check_constraint_generator_dispatcher Hand-ported dispatcher: ConstraintGenerator::check(const ScopePtr&, AstExpr*, …)
Source: Analysis/src/ConstraintGenerator.cpp:3042. constraint_generator_check_expr_call constraint_generator_check_function_body constraint_generator_check_function_signature constraint_generator_check_index_name Source: Analysis/src/ConstraintGenerator.cpp:3223-3279 (hand-ported)
C++ Inference ConstraintGenerator::checkIndexName(scope, key, indexee, index, indexLocation). constraint_generator_check_pack_constraint_generator constraint_generator_check_pack_constraint_generator_alt_b constraint_generator_check_pack_constraint_generator_alt_c constraint_generator_child_scope constraint_generator_compute_refinement constraint_generator_constraint_generator constraint_generator_create_generic_packs constraint_generator_create_generics constraint_generator_create_type_function_instance @interface-stub constraint_generator_fill_in_inferred_bindings @interface-stub constraint_generator_flatten_pack constraint_generator_fresh_type @interface-stub constraint_generator_fresh_type_pack constraint_generator_get_expected_call_types_for_function_overloads constraint_generator_inherit_shared_refinements constraint_generator_is_shared_refinement_assignment_type constraint_generator_lookup constraint_generator_make_intersect constraint_generator_make_union_constraint_generator @interface-stub constraint_generator_make_union_constraint_generator_alt_b @interface-stub constraint_generator_prepopulate_global_scope constraint_generator_prepopulate_global_scope_for_fragment_typecheck constraint_generator_prototype_type_definitions Faithful 1:1 port of ConstraintGenerator::prototypeTypeDefinitions
(luau/Analysis/src/ConstraintGenerator.cpp lines 820-1274). constraint_generator_record_inferred_binding @interface-stub constraint_generator_record_property_assignment @interface-stub constraint_generator_report_code_too_complex constraint_generator_report_error constraint_generator_resolve_function_type constraint_generator_resolve_generic_default_parameters constraint_generator_resolve_reference_type constraint_generator_resolve_table_type constraint_generator_resolve_type_arguments constraint_generator_resolve_type_constraint_generator constraint_generator_resolve_type_constraint_generator_alt_b constraint_generator_resolve_type_pack_constraint_generator constraint_generator_resolve_type_pack_constraint_generator_alt_b constraint_generator_resolve_type_pack_constraint_generator_alt_c constraint_generator_resolve_type_pack_constraint_generator_alt_d constraint_generator_run constraint_generator_run_on_fragment constraint_generator_simplify_union constraint_generator_union_refinements constraint_generator_update_r_value_refinements_constraint_generator constraint_generator_update_r_value_refinements_constraint_generator_alt_b constraint_generator_visit_block_without_child_scope constraint_generator_visit_constraint_generator constraint_generator_visit_constraint_generator_alt_b constraint_generator_visit_constraint_generator_alt_c constraint_generator_visit_constraint_generator_alt_d constraint_generator_visit_constraint_generator_alt_e constraint_generator_visit_constraint_generator_alt_f constraint_generator_visit_constraint_generator_alt_g constraint_generator_visit_constraint_generator_alt_h constraint_generator_visit_constraint_generator_alt_i constraint_generator_visit_constraint_generator_alt_j constraint_generator_visit_constraint_generator_alt_k constraint_generator_visit_constraint_generator_alt_l ConstraintGenerator::visit(const ScopePtr&, AstStatReturn*)
(ConstraintGenerator.cpp:1961).constraint_generator_visit_constraint_generator_alt_m constraint_generator_visit_constraint_generator_alt_n constraint_generator_visit_constraint_generator_alt_o constraint_generator_visit_constraint_generator_alt_p constraint_generator_visit_constraint_generator_alt_q constraint_generator_visit_constraint_generator_alt_r constraint_generator_visit_constraint_generator_alt_s constraint_generator_visit_constraint_generator_alt_t constraint_generator_visit_constraint_generator_alt_u constraint_generator_visit_fragment_root constraint_generator_visit_l_value_constraint_generator constraint_generator_visit_l_value_constraint_generator_alt_b constraint_generator_visit_l_value_constraint_generator_alt_c constraint_generator_visit_l_value_constraint_generator_alt_d constraint_generator_visit_l_value_constraint_generator_alt_e constraint_generator_visit_module_root constraint_get_maybe_mutated_types C++ std::pair<TypeIds, TypePackIds> Constraint::getMaybeMutatedTypes() const
(Constraint.cpp:93-211). constraint_graph_add_dependency_of_constraint_graph constraint_graph_add_dependency_of_constraint_graph_alt_b constraint_graph_clear_reverse_dependencies_of constraint_graph_constraint_graph constraint_graph_copy_dependencies_of constraint_graph_copy_dependencies_to_reachable_types constraint_graph_dump constraint_graph_dump_blocked constraint_graph_dump_with constraint_graph_find_dependency_list constraint_graph_find_reverse_dependency_list constraint_graph_has_strictly_more_than_one_dependency constraint_graph_has_unsolved_dependencies constraint_graph_inherit_blocks constraint_graph_repair_type_references constraint_graph_shift_references constraint_graph_unblock_constraint constraint_graph_unblock_type_or_pack_constraint_graph constraint_graph_unblock_type_or_pack_constraint_graph_alt_b constraint_list_begin constraint_list_clear constraint_list_contains constraint_list_end constraint_list_insert constraint_list_iterator_advance_until_present_or_end constraint_list_iterator_iterator constraint_list_iterator_operator_deref constraint_list_iterator_operator_eq constraint_list_iterator_operator_inc constraint_list_iterator_operator_ne constraint_list_remove constraint_list_size constraint_operator_assign constraint_solver_anyify_module_return_type_pack_generics constraint_solver_bind_constraint_solver void ConstraintSolver::bind(NotNull<const Constraint> constraint, TypeId ty, TypeId boundTo)
(Analysis/src/ConstraintSolver.cpp:938-980, hand-ported faithfully).constraint_solver_bind_constraint_solver_alt_b void ConstraintSolver::bind(NotNull<const Constraint> constraint, TypePackId tp, TypePackId boundTo)
(Analysis/src/ConstraintSolver.cpp:982-1001, hand-ported faithfully).constraint_solver_block_constraint_solver Source: Analysis/include/Luau/ConstraintSolver.h:330-337 (hand-ported) constraint_solver_block_constraint_solver_alt_b constraint_solver_block_constraint_solver_alt_c constraint_solver_block_constraint_solver_alt_d constraint_solver_constraint_solver_constraint_solver constraint_solver_constraint_solver_constraint_solver_alt_b constraint_solver_deprecate_d_block constraint_solver_deprecate_d_emplace_constraint_solver template<typename T, typename... Args> void ConstraintSolver::DEPRECATED_emplace(NotNull<const Constraint> constraint, TypeId ty, Args&&... args)
(Analysis/src/ConstraintSolver.cpp:1003-1013, hand-ported faithfully).constraint_solver_deprecate_d_emplace_constraint_solver_alt_b template<typename T, typename... Args> void ConstraintSolver::DEPRECATED_emplace(NotNull<const Constraint> constraint, TypePackId tp, Args&&... args)
(Analysis/src/ConstraintSolver.cpp:1015-1025, hand-ported faithfully).constraint_solver_deprecate_d_is_blocked constraint_solver_deprecate_d_shift_references constraint_solver_deprecate_d_unblock_constraint_solver constraint_solver_deprecate_d_unblock_constraint_solver_alt_b constraint_solver_fill_in_discriminant_types constraint_solver_finalize_type_functions void ConstraintSolver::finalizeTypeFunctions()
(Analysis/src/ConstraintSolver.cpp:767-784, hand-ported faithfully).constraint_solver_generalize_one_type constraint_solver_has_unresolved_constraints constraint_solver_inherit_blocks constraint_solver_init_free_type_tracking constraint_solver_instantiate_function_type TypeId ConstraintSolver::instantiateFunctionType(TypeId functionTypeId, const std::vector<TypeId>& typeArguments, const std::vector<TypePackId>& typePackArguments, NotNull<Scope> scope, const Location& location)
(Analysis/src/ConstraintSolver.cpp:3193-3267, hand-ported faithfully).constraint_solver_is_blocked_constraint_solver constraint_solver_is_blocked_constraint_solver_alt_b constraint_solver_is_done constraint_solver_lookup_table_prop_constraint_solver constraint_solver_lookup_table_prop_constraint_solver_alt_b constraint_solver_push_constraint NotNull<Constraint> ConstraintSolver::pushConstraint(NotNull<Scope> scope, const Location& location, ConstraintV cv)
(Analysis/src/ConstraintSolver.cpp:4094-4126, hand-ported faithfully).constraint_solver_randomize constraint_solver_report_error_constraint_solver constraint_solver_report_error_constraint_solver_alt_b constraint_solver_reproduce_constraints constraint_solver_resolve_module constraint_solver_run void ConstraintSolver::run() (Analysis/src/ConstraintSolver.cpp:506-765,
the main solver loop, hand-ported faithfully). The C++ runSolverPass lambda
is lowered to the private run_solver_pass method below.constraint_solver_simplify_intersection_constraint_solver constraint_solver_simplify_intersection_constraint_solver_alt_b constraint_solver_simplify_union constraint_solver_throw_time_limit_error constraint_solver_throw_user_cancel_error constraint_solver_try_dispatch_constraint_solver constraint_solver_try_dispatch_constraint_solver_alt_b constraint_solver_try_dispatch_constraint_solver_alt_c constraint_solver_try_dispatch_constraint_solver_alt_d constraint_solver_try_dispatch_constraint_solver_alt_e constraint_solver_try_dispatch_constraint_solver_alt_f constraint_solver_try_dispatch_constraint_solver_alt_g constraint_solver_try_dispatch_constraint_solver_alt_h constraint_solver_try_dispatch_constraint_solver_alt_i constraint_solver_try_dispatch_constraint_solver_alt_j constraint_solver_try_dispatch_constraint_solver_alt_k constraint_solver_try_dispatch_constraint_solver_alt_l constraint_solver_try_dispatch_constraint_solver_alt_m constraint_solver_try_dispatch_constraint_solver_alt_n constraint_solver_try_dispatch_constraint_solver_alt_o constraint_solver_try_dispatch_constraint_solver_alt_p bool ConstraintSolver::tryDispatch(const ReduceConstraint& c, NotNull<const Constraint> constraint, bool force)
(Analysis/src/ConstraintSolver.cpp:2879-2933, hand-ported faithfully).constraint_solver_try_dispatch_constraint_solver_alt_q bool ConstraintSolver::tryDispatch(const ReducePackConstraint& c, NotNull<const Constraint> constraint, bool force)
(Analysis/src/ConstraintSolver.cpp:2935-2972, hand-ported faithfully).constraint_solver_try_dispatch_constraint_solver_alt_r constraint_solver_try_dispatch_constraint_solver_alt_s constraint_solver_try_dispatch_constraint_solver_alt_t constraint_solver_try_dispatch_constraint_solver_alt_u constraint_solver_try_dispatch_constraint_solver_alt_v constraint_solver_try_dispatch_has_indexer constraint_solver_try_dispatch_iterable_function constraint_solver_try_dispatch_iterable_table constraint_solver_unblock_constraint_solver constraint_solver_unblock_constraint_solver_alt_b constraint_solver_unify template<typename TID> bool ConstraintSolver::unify(NotNull<const Constraint> constraint, TID subTy, TID superTy)
(Analysis/src/ConstraintSolver.cpp:3833-3871, hand-ported faithfully).constraint_solver_unpack_and_assign constraint_solving_incomplete_error_operator_eq contains_any_generic_deprecate_d_has_any_generic_type_utils contains_any_generic_deprecate_d_has_any_generic_type_utils_alt_b contains_any_generic_deprecate_d_visit_type_utils contains_any_generic_deprecate_d_visit_type_utils_alt_b ContainsAnyGeneric_DEPRECATED::visit(TypeId ty) (TypeUtils.cpp:957-961).contains_any_generic_deprecate_d_visit_type_utils_alt_c ContainsAnyGeneric_DEPRECATED::visit(TypePackId ty) (TypeUtils.cpp:963-967).contains_any_generic_deprecated_contains_any_generic_deprecated contains_function_call_contains_function_call_topo_sort_statements contains_function_call_contains_function_call_topo_sort_statements_alt_b contains_function_call_visit_topo_sort_statements contains_function_call_visit_topo_sort_statements_alt_b contains_function_call_visit_topo_sort_statements_alt_c contains_function_call_visit_topo_sort_statements_alt_d contains_function_call_visit_topo_sort_statements_alt_e contains_function_call_visit_topo_sort_statements_alt_f contains_function_call_visit_topo_sort_statements_alt_g contains_function_call_visit_topo_sort_statements_alt_h contains_generics_contains_generics contains_generics_iterative_type_visitor_trait contains_generics_visit_type_utils ContainsGenerics::visit(TypeId ty) (TypeUtils.cpp:995-998).contains_generics_visit_type_utils_alt_b ContainsGenerics::visit(TypeId ty, const GenericType&) (TypeUtils.cpp:1000-1004).contains_generics_visit_type_utils_alt_c ContainsGenerics::visit(TypeId ty, const TypeFunctionInstanceType&) (TypeUtils.cpp:1006-1009).contains_generics_visit_type_utils_alt_d ContainsGenerics::visit(TypePackId tp, const GenericTypePack&) (TypeUtils.cpp:1011-1015).contains_refinable_type_contains_refinable_type contains_refinable_type_visit_builtin_type_functions contains_refinable_type_visit_builtin_type_functions_alt_b contains_refinable_type_visit_builtin_type_functions_alt_c contains_refinable_type_visit_builtin_type_functions_alt_d contains_refinable_type_visit_builtin_type_functions_alt_e contains_refinable_type_visit_builtin_type_functions_alt_f contains_refinable_type_visit_builtin_type_functions_alt_g contains_refinable_type_visit_builtin_type_functions_alt_h control_flow_graph_control_flow_graph Source: Analysis/include/Luau/ControlFlowGraph.h:259-262 (hand-ported)
C++ explicit ControlFlowGraph::ControlFlowGraph(NotNull<CFGAllocator> allocator). control_flow_graph_new_block Source: Analysis/src/ControlFlowGraph.cpp:120-124 (hand-ported)
C++ BlockId ControlFlowGraph::newBlock(BlockKind kind, std::string debugName). count_mismatch_operator_eq data_flow_graph_builder_build data_flow_graph_builder_current_scope data_flow_graph_builder_data_flow_graph_builder_data_flow_graph data_flow_graph_builder_data_flow_graph_builder_data_flow_graph_alt_b data_flow_graph_builder_empty data_flow_graph_builder_join data_flow_graph_builder_join_bindings data_flow_graph_builder_join_props data_flow_graph_builder_lookup_data_flow_graph data_flow_graph_builder_lookup_data_flow_graph_alt_b data_flow_graph_builder_make_child_scope data_flow_graph_builder_operator_assign data_flow_graph_builder_resolve_captures data_flow_graph_builder_visit_block_without_child_scope data_flow_graph_builder_visit_data_flow_graph data_flow_graph_builder_visit_data_flow_graph_alt_b data_flow_graph_builder_visit_data_flow_graph_alt_c data_flow_graph_builder_visit_data_flow_graph_alt_d data_flow_graph_builder_visit_data_flow_graph_alt_e data_flow_graph_builder_visit_data_flow_graph_alt_f data_flow_graph_builder_visit_data_flow_graph_alt_g data_flow_graph_builder_visit_data_flow_graph_alt_h data_flow_graph_builder_visit_data_flow_graph_alt_i data_flow_graph_builder_visit_data_flow_graph_alt_j data_flow_graph_builder_visit_data_flow_graph_alt_k data_flow_graph_builder_visit_data_flow_graph_alt_l data_flow_graph_builder_visit_data_flow_graph_alt_m data_flow_graph_builder_visit_data_flow_graph_alt_n data_flow_graph_builder_visit_data_flow_graph_alt_o data_flow_graph_builder_visit_data_flow_graph_alt_p data_flow_graph_builder_visit_data_flow_graph_alt_q data_flow_graph_builder_visit_data_flow_graph_alt_r data_flow_graph_builder_visit_data_flow_graph_alt_s data_flow_graph_builder_visit_data_flow_graph_alt_t data_flow_graph_builder_visit_data_flow_graph_alt_u data_flow_graph_builder_visit_data_flow_graph_alt_v data_flow_graph_builder_visit_data_flow_graph_alt_w data_flow_graph_builder_visit_expr_data_flow_graph data_flow_graph_builder_visit_expr_data_flow_graph_alt_b data_flow_graph_builder_visit_expr_data_flow_graph_alt_c data_flow_graph_builder_visit_expr_data_flow_graph_alt_d data_flow_graph_builder_visit_expr_data_flow_graph_alt_e data_flow_graph_builder_visit_expr_data_flow_graph_alt_f data_flow_graph_builder_visit_expr_data_flow_graph_alt_g data_flow_graph_builder_visit_expr_data_flow_graph_alt_h data_flow_graph_builder_visit_expr_data_flow_graph_alt_i data_flow_graph_builder_visit_expr_data_flow_graph_alt_j data_flow_graph_builder_visit_expr_data_flow_graph_alt_k data_flow_graph_builder_visit_expr_data_flow_graph_alt_l data_flow_graph_builder_visit_expr_data_flow_graph_alt_m data_flow_graph_builder_visit_expr_data_flow_graph_alt_n data_flow_graph_builder_visit_expr_data_flow_graph_alt_o data_flow_graph_builder_visit_expr_data_flow_graph_alt_p data_flow_graph_builder_visit_function data_flow_graph_builder_visit_generic_packs data_flow_graph_builder_visit_generics data_flow_graph_builder_visit_l_value_data_flow_graph data_flow_graph_builder_visit_l_value_data_flow_graph_alt_b data_flow_graph_builder_visit_l_value_data_flow_graph_alt_c data_flow_graph_builder_visit_l_value_data_flow_graph_alt_d data_flow_graph_builder_visit_l_value_data_flow_graph_alt_e data_flow_graph_builder_visit_l_value_data_flow_graph_alt_f data_flow_graph_builder_visit_type_data_flow_graph data_flow_graph_builder_visit_type_data_flow_graph_alt_b data_flow_graph_builder_visit_type_data_flow_graph_alt_c data_flow_graph_builder_visit_type_data_flow_graph_alt_d data_flow_graph_builder_visit_type_data_flow_graph_alt_e data_flow_graph_builder_visit_type_data_flow_graph_alt_f data_flow_graph_builder_visit_type_data_flow_graph_alt_g data_flow_graph_builder_visit_type_data_flow_graph_alt_h data_flow_graph_builder_visit_type_list data_flow_graph_builder_visit_type_pack_data_flow_graph data_flow_graph_builder_visit_type_pack_data_flow_graph_alt_b data_flow_graph_builder_visit_type_pack_data_flow_graph_alt_c data_flow_graph_data_flow_graph_data_flow_graph Generated skeleton item. @skeleton-stub
Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/DataFlowGraph.h:35:data_flow_graph_data_flow_graph
Source: Analysis/include/Luau/DataFlowGraph.h
Graph edges: data_flow_graph_data_flow_graph_data_flow_graph_alt_b Generated skeleton item. @skeleton-stub
Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/DataFlowGraph.h:54:data_flow_graph_data_flow_graph
Source: Analysis/include/Luau/DataFlowGraph.h
Graph edges: data_flow_graph_data_flow_graph_data_flow_graph_alt_c C++ DataFlowGraph::DataFlowGraph(NotNull<DefArena> defArena, NotNull<RefinementKeyArena> keyArena)
(Analysis/src/DataFlowGraph.cpp:58). The private arena constructor: stores
both arena pointers; every DenseHashMap member uses its in-class default
initializer with a nullptr sentinel key (see DataFlowGraph.h:60-70). data_flow_graph_get_def_data_flow_graph @skeleton-stub
C++ DefId DataFlowGraph::getDef(const AstExpr* expr) const
(Analysis/src/DataFlowGraph.cpp:64). Interface-only: the body awaits the
full DataFlowGraph port; the signature is the contract its callers depend on. data_flow_graph_get_def_data_flow_graph_alt_b C++ DefId DataFlowGraph::getDef(const AstLocal* local) const
(Analysis/src/DataFlowGraph.cpp:79). Looks the def up in localDefs by the
AstLocal* key and asserts it is present. data_flow_graph_get_def_data_flow_graph_alt_c C++ DefId DataFlowGraph::getDef(const AstStatDeclareGlobal* global) const
(Analysis/src/DataFlowGraph.cpp:86). Looks the def up in declaredDefs,
whose keys are AstStat*, so the AstStatDeclareGlobal* is upcast first. data_flow_graph_get_def_data_flow_graph_alt_d C++ DefId DataFlowGraph::getDef(const AstStatDeclareFunction* func) const
(Analysis/src/DataFlowGraph.cpp:93). Looks the def up in declaredDefs,
whose keys are AstStat*, so the AstStatDeclareFunction* is upcast first. data_flow_graph_get_def_data_flow_graph_alt_global C++ DefId DataFlowGraph::getDef(const AstStatDeclareGlobal* global) const
(Analysis/src/DataFlowGraph.cpp:86). data_flow_graph_get_def_data_flow_graph_alt_local C++ DefId DataFlowGraph::getDef(const AstLocal* local) const
(Analysis/src/DataFlowGraph.cpp:79). data_flow_graph_get_def_optional data_flow_graph_get_refinement_key data_flow_graph_get_symbol_from_def data_flow_graph_operator_assign_data_flow_graph data_flow_graph_operator_assign_data_flow_graph_alt_b dcr_logger_capture_boundary_state dcr_logger_capture_final_solver_state dcr_logger_capture_generation_error dcr_logger_capture_generation_module dcr_logger_capture_initial_solver_state dcr_logger_capture_source dcr_logger_capture_type_check_error dcr_logger_commit_step_snapshot dcr_logger_compile_output dcr_logger_pop_block_dcr_logger dcr_logger_pop_block_dcr_logger_alt_b dcr_logger_pop_block_dcr_logger_alt_c dcr_logger_prepare_generalization_snapshot dcr_logger_prepare_step_snapshot dcr_logger_push_block_dcr_logger dcr_logger_push_block_dcr_logger_alt_b dcr_logger_push_block_dcr_logger_alt_c dcr_logger_snapshot_blocks declare_declare def_arena_fresh_cell Node: cxx:Function:Luau.Analysis:Analysis/src/Def.cpp:39:DefArena::freshCell
Source: Analysis/src/Def.cpp (Def.cpp:39-42, hand-ported) def_arena_phi_def def_arena_phi_def_alt_b Node: cxx:Function:Luau.Analysis:Analysis/src/Def.cpp:49:DefArena::phi
Source: Analysis/src/Def.cpp (Def.cpp:49-60, hand-ported) demoter_clean_type_infer demoter_clean_type_infer_alt_b demoter_demote demoter_demoted_level demoter_demoter demoter_ignore_children demoter_is_dirty_type_infer demoter_is_dirty_type_infer_alt_b deprecated_api_used_operator_eq dfg_scope_inherit dfg_scope_lookup_data_flow_graph dfg_scope_lookup_data_flow_graph_alt_b duplicate_generic_parameter_operator_eq duplicate_type_definition_operator_eq dynamic_property_lookup_on_extern_types_unsafe_operator_eq error_converter_find_call_metamethod error_converter_operator_call_error error_converter_operator_call_error_alt_aa error_converter_operator_call_error_alt_ab error_converter_operator_call_error_alt_ac error_converter_operator_call_error_alt_ad error_converter_operator_call_error_alt_ae error_converter_operator_call_error_alt_af error_converter_operator_call_error_alt_ag error_converter_operator_call_error_alt_ah error_converter_operator_call_error_alt_ai error_converter_operator_call_error_alt_aj error_converter_operator_call_error_alt_ak error_converter_operator_call_error_alt_al error_converter_operator_call_error_alt_am error_converter_operator_call_error_alt_an error_converter_operator_call_error_alt_ao error_converter_operator_call_error_alt_ap error_converter_operator_call_error_alt_aq error_converter_operator_call_error_alt_ar error_converter_operator_call_error_alt_as error_converter_operator_call_error_alt_at error_converter_operator_call_error_alt_au error_converter_operator_call_error_alt_av error_converter_operator_call_error_alt_aw error_converter_operator_call_error_alt_ax error_converter_operator_call_error_alt_ay error_converter_operator_call_error_alt_az error_converter_operator_call_error_alt_b error_converter_operator_call_error_alt_ba error_converter_operator_call_error_alt_bb error_converter_operator_call_error_alt_bc error_converter_operator_call_error_alt_bd error_converter_operator_call_error_alt_be error_converter_operator_call_error_alt_bf error_converter_operator_call_error_alt_bg error_converter_operator_call_error_alt_bh error_converter_operator_call_error_alt_bi error_converter_operator_call_error_alt_bj error_converter_operator_call_error_alt_bk error_converter_operator_call_error_alt_c error_converter_operator_call_error_alt_d error_converter_operator_call_error_alt_e error_converter_operator_call_error_alt_f error_converter_operator_call_error_alt_g error_converter_operator_call_error_alt_h error_converter_operator_call_error_alt_i error_converter_operator_call_error_alt_j error_converter_operator_call_error_alt_k error_converter_operator_call_error_alt_l error_converter_operator_call_error_alt_m error_converter_operator_call_error_alt_n error_converter_operator_call_error_alt_o error_converter_operator_call_error_alt_p error_converter_operator_call_error_alt_q error_converter_operator_call_error_alt_r error_converter_operator_call_error_alt_s error_converter_operator_call_error_alt_t error_converter_operator_call_error_alt_u error_converter_operator_call_error_alt_v error_converter_operator_call_error_alt_w error_converter_operator_call_error_alt_x error_converter_operator_call_error_alt_y error_converter_operator_call_error_alt_z error_error error_id_error error_suppression_error_suppression_type_utils error_suppression_error_suppression_type_utils_alt_b error_suppression_or_else error_suppression_value expected_type_visitor_apply_expected_type @interface-stub expected_type_visitor_expected_type_visitor expected_type_visitor_visit_expected_type_visitor expected_type_visitor_visit_expected_type_visitor_alt_b expected_type_visitor_visit_expected_type_visitor_alt_c expected_type_visitor_visit_expected_type_visitor_alt_d @interface-stub expected_type_visitor_visit_expected_type_visitor_alt_e @interface-stub expected_type_visitor_visit_expected_type_visitor_alt_f expected_type_visitor_visit_expected_type_visitor_alt_g explicit_function_annotation_recommended_operator_eq expr_or_local_get_expr expr_or_local_get_local expr_or_local_get_location expr_or_local_get_name expr_or_local_set_expr expr_or_local_set_local expr_printer_expr_printer expr_printer_visit_dump_cfg expr_printer_visit_dump_cfg_alt_b expr_printer_visit_dump_cfg_alt_c expr_printer_visit_dump_cfg_alt_d expr_printer_visit_dump_cfg_alt_e expr_printer_visit_dump_cfg_alt_f expr_printer_visit_dump_cfg_alt_g expr_printer_visit_dump_cfg_alt_h extern_type_extern_type_type extern_type_extern_type_type_alt_b extra_information_operator_eq failed_to_compile_operator_eq field_operator_eq field_operator_ne file_resolver_file_resolver_file_resolver file_resolver_file_resolver_file_resolver_alt_b file_resolver_file_resolver_file_resolver_alt_c file_resolver_get_environment_for_module file_resolver_get_human_readable_module_name file_resolver_get_require_suggestions Generated skeleton item. @skeleton-stub
Node: cxx:Method:Luau.Analysis:Analysis/src/FileResolver.cpp:153:file_resolver_get_require_suggestions
Source: Analysis/src/FileResolver.cpp
Graph edges: file_resolver_resolve_module find_all_union_members_find_all_union_members find_all_union_members_visit_constraint_solver find_all_union_members_visit_constraint_solver_alt_b find_all_union_members_visit_constraint_solver_alt_c find_all_union_members_visit_constraint_solver_alt_d find_all_union_members_visit_constraint_solver_alt_e find_all_union_members_visit_constraint_solver_alt_f find_all_union_members_visit_constraint_solver_alt_g find_cyclic_types_cycle_to_string Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:65:find_cyclic_types_cycle
Source: Analysis/src/ToString.cpp:65 (hand-ported) find_cyclic_types_cycle_to_string_alt_b Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:70:find_cyclic_types_cycle
Source: Analysis/src/ToString.cpp:70 (hand-ported) find_cyclic_types_find_cyclic_types_to_string Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:51:find_cyclic_types_find_cyclic_types
Source: Analysis/src/ToString.cpp:51 (hand-ported) find_cyclic_types_find_cyclic_types_to_string_alt_b find_cyclic_types_operator_assign find_cyclic_types_visit_to_string Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:75:find_cyclic_types_visit
Source: Analysis/src/ToString.cpp:75 (hand-ported) find_cyclic_types_visit_to_string_alt_b Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:80:find_cyclic_types_visit
Source: Analysis/src/ToString.cpp:80 (hand-ported) find_cyclic_types_visit_to_string_alt_c Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:85:find_cyclic_types_visit
Source: Analysis/src/ToString.cpp:85 (hand-ported) find_cyclic_types_visit_to_string_alt_d Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:96:find_cyclic_types_visit
Source: Analysis/src/ToString.cpp:96 (hand-ported) find_cyclic_types_visit_to_string_alt_e Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:115:find_cyclic_types_visit
Source: Analysis/src/ToString.cpp:115 (hand-ported) find_cyclic_types_visit_to_string_alt_f Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:120:find_cyclic_types_visit
Source: Analysis/src/ToString.cpp:120 (hand-ported) find_expr_or_local_find_expr_or_local find_expr_or_local_is_closer_match find_expr_or_local_visit_ast_query find_expr_or_local_visit_ast_query_alt_b find_expr_or_local_visit_ast_query_alt_c find_expr_or_local_visit_ast_query_alt_d find_expr_or_local_visit_ast_query_alt_e find_expr_or_local_visit_ast_query_alt_f find_expr_or_local_visit_ast_query_alt_g find_expr_or_local_visit_local find_full_ancestry_find_full_ancestry find_full_ancestry_visit_ast_query find_full_ancestry_visit_ast_query_alt_b find_full_ancestry_visit_ast_query_alt_c find_function_type_in_find_function_type_in find_function_type_in_iterative_type_visitor_trait find_function_type_in_visit_table_literal_inference find_function_type_in_visit_table_literal_inference_alt_b find_function_type_in_visit_table_literal_inference_alt_c find_function_type_in_visit_table_literal_inference_alt_d find_node_find_node find_node_visit_ast_query find_node_visit_ast_query_alt_b find_node_visit_ast_query_alt_c find_refinement_blockers_find_refinement_blockers find_refinement_blockers_visit_builtin_type_functions find_refinement_blockers_visit_builtin_type_functions_alt_b find_refinement_blockers_visit_builtin_type_functions_alt_c find_simplification_blockers_find_simplification_blockers find_simplification_blockers_iterative_type_visitor_trait find_simplification_blockers_visit_constraint_generator find_simplification_blockers_visit_constraint_generator_alt_b find_simplification_blockers_visit_constraint_generator_alt_c find_simplification_blockers_visit_constraint_generator_alt_d find_simplification_blockers_visit_constraint_generator_alt_e find_simplification_blockers_visit_constraint_generator_alt_f find_user_type_function_blockers_find_user_type_function_blockers find_user_type_function_blockers_visit_user_defined_type_function find_user_type_function_blockers_visit_user_defined_type_function_alt_b find_user_type_function_blockers_visit_user_defined_type_function_alt_c fragment_autocomplete_type_cloner_clone_children Source: Analysis/src/Clone.cpp:541-544
void FragmentAutocompleteTypeCloner::cloneChildren(LazyType* t) override. fragment_autocomplete_type_cloner_fragment_autocomplete_type_cloner Source: Analysis/src/Clone.cpp:478-491
FragmentAutocompleteTypeCloner::FragmentAutocompleteTypeCloner(...). fragment_autocomplete_type_cloner_shallow_clone_clone Source: Analysis/src/Clone.cpp:493-518
TypeId FragmentAutocompleteTypeCloner::shallowClone(TypeId ty) override. fragment_autocomplete_type_cloner_shallow_clone_clone_alt_b Source: Analysis/src/Clone.cpp:520-539
TypePackId FragmentAutocompleteTypeCloner::shallowClone(TypePackId tp) override. free_type_free_type_type free_type_free_type_type_alt_b free_type_free_type_type_alt_c free_type_pack_free_type_pack_type_pack free_type_pack_free_type_pack_type_pack_alt_b free_type_pack_free_type_pack_type_pack_alt_c free_type_searcher_flip free_type_searcher_free_type_searcher free_type_searcher_seen_with_current_polarity free_type_searcher_visit_generalization free_type_searcher_visit_generalization_alt_b free_type_searcher_visit_generalization_alt_c free_type_searcher_visit_generalization_alt_d free_type_searcher_visit_generalization_alt_e free_type_searcher_visit_generalization_alt_f freeze_type_function_types_freeze_type_function_types freeze_type_function_types_visit Node: cxx:Method:Luau.Analysis:Analysis/src/UserDefinedTypeFunction.cpp:92:FreezeTypeFunctionTypes::visit
Source: Analysis/src/UserDefinedTypeFunction.cpp:92-96 frontend_add_build_queue_items frontend_add_environment frontend_all_module_dependencies_valid frontend_apply_builtin_definition_to_environment frontend_cancellation_token_cancel frontend_cancellation_token_requested frontend_check_build_queue_item frontend_check_build_queue_items frontend_check_frontend frontend_check_frontend_alt_b frontend_check_queued_modules frontend_classify_lints frontend_clear frontend_clear_builtin_environments frontend_clear_stats frontend_frontend_frontend C++ Frontend::Frontend(SolverMode mode, FileResolver*, ConfigResolver*, FrontendOptions options) (Analysis/src/Frontend.cpp:435-446). frontend_frontend_frontend_alt_b C++ Frontend::Frontend(FileResolver*, ConfigResolver*, const FrontendOptions& options) (Analysis/src/Frontend.cpp:448-459). frontend_get_check_result frontend_get_environment_scope frontend_get_luau_solver_mode frontend_get_module_environment frontend_get_required_scripts frontend_get_source_module_frontend frontend_get_source_module_frontend_alt_b frontend_get_source_node frontend_is_dirty frontend_load_definition_file C++ Frontend::loadDefinitionFile (Analysis/src/Frontend.cpp:218-247). frontend_mark_dirty frontend_module_resolver_clear_modules frontend_module_resolver_frontend_module_resolver C++ FrontendModuleResolver::FrontendModuleResolver(Frontend* frontend)
(Analysis/src/Frontend.cpp:1922): stores the owning frontend; modules
and moduleMutex are default-initialized. frontend_module_resolver_get_human_readable_module_name frontend_module_resolver_get_module frontend_module_resolver_module_exists frontend_module_resolver_resolve_module_info frontend_module_resolver_set_module frontend_parse_frontend frontend_parse_frontend_alt_b frontend_parse_graph frontend_parse_modules frontend_parse_type C++ Frontend::parseType (Analysis/src/Frontend.cpp:2059-2183). frontend_perform_queue_item_task frontend_populate_expected_types frontend_queue_module_check_frontend frontend_queue_module_check_frontend_alt_b frontend_record_item_result frontend_register_builtin_definition frontend_send_queue_cycle_item_task frontend_send_queue_item_tasks frontend_set_luau_solver_mode frontend_traverse_dependents fuel_initializer_fuel_initializer_normalize fuel_initializer_fuel_initializer_normalize_alt_b fuel_initializer_fuel_initializer_normalize_alt_c fuel_initializer_operator_assign function_does_not_take_self_operator_eq function_exits_without_returning_operator_eq function_requires_self_operator_eq function_type_arg_names function_type_arg_types function_type_definition function_type_function_type_new function_type_function_type_type function_type_function_type_type_alt_b function_type_function_type_type_alt_c function_type_function_type_type_alt_d function_type_generic_packs function_type_generics function_type_has_self function_type_new_with_generics function_type_ret_types generic_bounds_mismatch_generic_bounds_mismatch generic_bounds_mismatch_operator_eq generic_counter_check_limits generic_counter_generic_counter generic_counter_visit_generalization generic_counter_visit_generalization_alt_b generic_counter_visit_generalization_alt_c generic_counter_visit_generalization_alt_d generic_counter_visit_generalization_alt_e generic_counter_visit_generalization_alt_f generic_error_operator_eq generic_pack_mapping_operator_eq generic_type_count_mismatch_operator_eq generic_type_definition_generic_type_definition generic_type_definition_operator_eq generic_type_definition_ty generic_type_finder_generic_type_finder generic_type_finder_visit_instantiation Generated skeleton item. @skeleton-stub
Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Instantiation.h:101:generic_type_finder_visit
Source: Analysis/include/Luau/Instantiation.h
Graph edges: generic_type_finder_visit_instantiation_alt_b Generated skeleton item. @skeleton-stub
Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Instantiation.h:106:generic_type_finder_visit
Source: Analysis/include/Luau/Instantiation.h
Graph edges: generic_type_finder_visit_instantiation_alt_c generic_type_finder_visit_instantiation_alt_d generic_type_finder_visit_instantiation_alt_e generic_type_finder_visit_instantiation_alt_f generic_type_finder_visit_instantiation_alt_g generic_type_generic_type_type generic_type_generic_type_type_alt_b generic_type_generic_type_type_alt_c generic_type_generic_type_type_alt_d generic_type_generic_type_type_alt_e generic_type_generic_type_type_alt_f generic_type_generic_type_type_alt_g generic_type_pack_count_mismatch_operator_eq generic_type_pack_definition_operator_eq generic_type_pack_generic_type_pack_type_pack generic_type_pack_generic_type_pack_type_pack_alt_b generic_type_pack_generic_type_pack_type_pack_alt_c generic_type_pack_generic_type_pack_type_pack_alt_d generic_type_pack_generic_type_pack_type_pack_alt_e generic_type_pack_generic_type_pack_type_pack_alt_f generic_type_pack_generic_type_pack_type_pack_alt_g generic_type_pack_generic_type_pack_type_pack_alt_h generic_type_pack_new generic_type_visitor_cycle_visit_type Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:92:generic_type_visitor_cycle
Source: Analysis/include/Luau/VisitType.h:92 (hand-ported) generic_type_visitor_cycle_visit_type_alt_b Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:93:generic_type_visitor_cycle
Source: Analysis/include/Luau/VisitType.h:93 (hand-ported) generic_type_visitor_generic_type_visitor_visit_type Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:81:generic_type_visitor_generic_type_visitor
Source: Analysis/include/Luau/VisitType.h:81 (hand-ported) generic_type_visitor_generic_type_visitor_visit_type_alt_b Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:83:generic_type_visitor_generic_type_visitor
Source: Analysis/include/Luau/VisitType.h:83-88 (hand-ported) generic_type_visitor_generic_type_visitor_visit_type_alt_c Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:90:generic_type_visitor_~generic_type_visitor
Source: Analysis/include/Luau/VisitType.h:90 (hand-ported) generic_type_visitor_traverse_visit_type Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:217:generic_type_visitor_traverse
Source: Analysis/include/Luau/VisitType.h:217-443 (hand-ported) generic_type_visitor_traverse_visit_type_alt_b Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:444:generic_type_visitor_traverse
Source: Analysis/include/Luau/VisitType.h:444-510 (hand-ported) generic_type_visitor_visit_visit_type Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:95:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:95 (hand-ported) generic_type_visitor_visit_visit_type_alt_aa Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:200:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:200 (hand-ported) generic_type_visitor_visit_visit_type_alt_ab Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:204:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:204 (hand-ported) generic_type_visitor_visit_visit_type_alt_ac Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:208:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:208 (hand-ported) generic_type_visitor_visit_visit_type_alt_ad Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:212:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:212 (hand-ported) generic_type_visitor_visit_visit_type_alt_b Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:99:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:99 (hand-ported) generic_type_visitor_visit_visit_type_alt_c Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:103:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:103 (hand-ported) generic_type_visitor_visit_visit_type_alt_d Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:107:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:107 (hand-ported) generic_type_visitor_visit_visit_type_alt_e Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:111:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:111 (hand-ported) generic_type_visitor_visit_visit_type_alt_f Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:115:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:115 (hand-ported) generic_type_visitor_visit_visit_type_alt_g Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:119:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:119 (hand-ported) generic_type_visitor_visit_visit_type_alt_h Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:123:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:123 (hand-ported) generic_type_visitor_visit_visit_type_alt_i Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:127:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:127 (hand-ported) generic_type_visitor_visit_visit_type_alt_j Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:131:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:131 (hand-ported) generic_type_visitor_visit_visit_type_alt_k Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:135:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:135 (hand-ported) generic_type_visitor_visit_visit_type_alt_l Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:139:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:139 (hand-ported) generic_type_visitor_visit_visit_type_alt_m Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:143:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:143 (hand-ported) generic_type_visitor_visit_visit_type_alt_n Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:147:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:147 (hand-ported) generic_type_visitor_visit_visit_type_alt_o Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:151:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:151 (hand-ported) generic_type_visitor_visit_visit_type_alt_p Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:155:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:155 (hand-ported) generic_type_visitor_visit_visit_type_alt_q Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:159:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:159 (hand-ported) generic_type_visitor_visit_visit_type_alt_r Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:163:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:163 (hand-ported) generic_type_visitor_visit_visit_type_alt_s Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:167:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:167 (hand-ported) generic_type_visitor_visit_visit_type_alt_t Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:171:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:171 (hand-ported) generic_type_visitor_visit_visit_type_alt_u Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:175:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:175 (hand-ported) generic_type_visitor_visit_visit_type_alt_v Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:180:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:180 (hand-ported) generic_type_visitor_visit_visit_type_alt_w Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:184:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:184 (hand-ported) generic_type_visitor_visit_visit_type_alt_x Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:188:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:188 (hand-ported) generic_type_visitor_visit_visit_type_alt_y Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:192:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:192 (hand-ported) generic_type_visitor_visit_visit_type_alt_z Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:196:generic_type_visitor_visit
Source: Analysis/include/Luau/VisitType.h:196 (hand-ported) global_name_collector_global_name_collector global_name_collector_visit global_prepopulator_global_prepopulator global_prepopulator_visit_constraint_generator global_prepopulator_visit_constraint_generator_alt_b global_prepopulator_visit_constraint_generator_alt_c global_prepopulator_visit_constraint_generator_alt_d global_prepopulator_visit_constraint_generator_alt_e global_types_global_scope global_types_global_types C++ GlobalTypes::GlobalTypes(NotNull<BuiltinTypes>, SolverMode)
(Analysis/src/GlobalTypes.cpp:11). Builds the shared global scope and the
global type-function scope, registers the builtin type bindings, and wires
up the string metatable. global_types_global_types_mut global_types_register_hidden_test_types global_types_set_global_scope has_free_type_has_free_type has_free_type_visit_constraint_generator HasFreeType::visit(TypeId) (ConstraintGenerator.cpp:200-205).has_free_type_visit_constraint_generator_alt_b HasFreeType::visit(TypePackId) (ConstraintGenerator.cpp:207-211).has_free_type_visit_constraint_generator_alt_c has_free_type_visit_constraint_generator_alt_d has_free_type_visit_constraint_generator_alt_e hash_blocked_constraint_id_operator_call hash_bool_name_pair_operator_call hash_instantiation_signature_operator_call hash_luau_symbol_operator_call hash_subtype_constraint_record_operator_call identifier_hash_operator_call illegal_require_operator_eq in_conditional_context_in_conditional_context_type_utils in_conditional_context_in_conditional_context_type_utils_alt_b incorrect_generic_parameter_count_actual_parameters incorrect_generic_parameter_count_name incorrect_generic_parameter_count_operator_eq incorrect_generic_parameter_count_type_fun index_collector_index_collector index_collector_visit_expected_type_visitor Node: cxx:Method:Luau.Analysis:Analysis/src/ExpectedTypeVisitor.cpp:120:index_collector_visit
Source: Analysis/src/ExpectedTypeVisitor.cpp:109-148 (hand-ported) index_collector_visit_expected_type_visitor_alt_b @interface-stub index_collector_visit_expected_type_visitor_alt_c @interface-stub index_collector_visit_expected_type_visitor_alt_d @interface-stub index_operator_eq indexer_index_collector_indexer_index_collector indexer_index_collector_visit_expected_type_visitor Node: cxx:Method:Luau.Analysis:Analysis/src/ExpectedTypeVisitor.cpp:92:indexer_index_collector_visit
Source: Analysis/src/ExpectedTypeVisitor.cpp:82-107 (hand-ported) indexer_index_collector_visit_expected_type_visitor_alt_b indexer_index_collector_visit_expected_type_visitor_alt_c inference_inference_constraint_generator Generated skeleton item. @skeleton-stub
Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/ConstraintGenerator.h:40:inference_inference
Source: Analysis/include/Luau/ConstraintGenerator.h
Graph edges: inference_inference_constraint_generator_alt_b Generated skeleton item. @skeleton-stub
Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/ConstraintGenerator.h:42:inference_inference
Source: Analysis/include/Luau/ConstraintGenerator.h
Graph edges: inference_pack_inference_pack_constraint_generator Generated skeleton item. @skeleton-stub
Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/ConstraintGenerator.h:54:inference_pack_inference_pack
Source: Analysis/include/Luau/ConstraintGenerator.h
Graph edges: inference_pack_inference_pack_constraint_generator_alt_b Generated skeleton item. @skeleton-stub
Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/ConstraintGenerator.h:56:inference_pack_inference_pack
Source: Analysis/include/Luau/ConstraintGenerator.h
Graph edges: infinite_type_finder_infinite_type_finder infinite_type_finder_iterative_type_visitor_trait infinite_type_finder_visit_constraint_solver infinite_type_finder_visit_constraint_solver_alt_b inplace_demoter_demote inplace_demoter_inplace_demoter inplace_demoter_visit_type_infer inplace_demoter_visit_type_infer_alt_b @interface-stub instance_collector_2_cycle instance_collector_2_instance_collector_2 instance_collector_2_visit_type_function_reduction_guesser instance_collector_2_visit_type_function_reduction_guesser_alt_b @interface-stub instance_collector_2_visit_type_function_reduction_guesser_alt_c instance_collector_cycle instance_collector_instance_collector instance_collector_visit_type_function instance_collector_visit_type_function_alt_b instance_collector_visit_type_function_alt_c instantiate_generics_on_non_function_operator_eq instantiation_2_clean_instantiation_2 instantiation_2_clean_instantiation_2_alt_b instantiation_2_ignore_children instantiation_2_instantiation_2_instantiation_2 instantiation_2_instantiation_2_instantiation_2_alt_b instantiation_2_is_dirty_instantiation_2 instantiation_2_is_dirty_instantiation_2_alt_b instantiation_clean_instantiation instantiation_clean_instantiation_alt_b instantiation_ignore_children instantiation_instantiation Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Instantiation.h:66:Instantiation
Source: Analysis/include/Luau/Instantiation.h (Instantiation.h:66-73, hand-ported) instantiation_is_dirty_instantiation instantiation_is_dirty_instantiation_alt_b instantiation_queuer_deprecate_d_visit_constraint_solver instantiation_queuer_deprecate_d_visit_constraint_solver_alt_b instantiation_queuer_deprecate_d_visit_constraint_solver_alt_c instantiation_queuer_deprecated_generic_type_visitor_trait instantiation_queuer_deprecated_instantiation_queuer_deprecated instantiation_queuer_instantiation_queuer instantiation_queuer_iterative_type_visitor_trait instantiation_queuer_visit_constraint_solver instantiation_queuer_visit_constraint_solver_alt_b instantiation_queuer_visit_constraint_solver_alt_c instantiation_reset_state instantiation_signature_operator_eq instantiation_signature_operator_ne internal_compiler_error_internal_compiler_error_error internal_compiler_error_internal_compiler_error_error_alt_b internal_compiler_error_internal_compiler_error_error_alt_c internal_compiler_error_what internal_error_operator_eq internal_error_reporter_ice_error internal_error_reporter_ice_error_alt_b internal_type_finder_internal_type_finder internal_type_finder_visit_frontend internal_type_finder_visit_frontend_alt_b internal_type_finder_visit_frontend_alt_c internal_type_finder_visit_frontend_alt_d internal_type_finder_visit_frontend_alt_e internal_type_finder_visit_frontend_alt_f internal_type_finder_visit_frontend_alt_g internal_type_function_finder_internal_type_function_finder internal_type_function_finder_visit_type_checker_2 internal_type_function_finder_visit_type_checker_2_alt_b intersection_builder_add intersection_builder_build intersection_builder_intersection_builder intersection_builder_reserve intersection_builder_size invalid_name_checker_operator_call_error invalid_name_checker_operator_call_error_alt_b invalid_name_checker_operator_call_error_alt_c invalid_name_checker_operator_call_error_alt_d iterative_type_function_type_visitor_cycle_iterative_type_function_type_visitor iterative_type_function_type_visitor_cycle_iterative_type_function_type_visitor_alt_b iterative_type_function_type_visitor_has_seen iterative_type_function_type_visitor_is_cyclic iterative_type_function_type_visitor_iterative_type_function_type_visitor_iterative_type_function_type_visitor Generated skeleton item. @skeleton-stub
Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/IterativeTypeFunctionTypeVisitor.h:41:iterative_type_function_type_visitor_iterative_type_function_type_visitor
Source: Analysis/include/Luau/IterativeTypeFunctionTypeVisitor.h
Graph edges: iterative_type_function_type_visitor_iterative_type_function_type_visitor_iterative_type_function_type_visitor_alt_b Source: Analysis/include/Luau/IterativeTypeFunctionTypeVisitor.h:41 (hand-ported) iterative_type_function_type_visitor_iterative_type_function_type_visitor_iterative_type_function_type_visitor_alt_c iterative_type_function_type_visitor_iterative_type_function_type_visitor_iterative_type_function_type_visitor_alt_d iterative_type_function_type_visitor_iterative_type_function_type_visitor_iterative_type_function_type_visitor_alt_e iterative_type_function_type_visitor_operator_assign iterative_type_function_type_visitor_process_iterative_type_function_type_visitor iterative_type_function_type_visitor_process_iterative_type_function_type_visitor_alt_b iterative_type_function_type_visitor_process_work_queue iterative_type_function_type_visitor_run_iterative_type_function_type_visitor iterative_type_function_type_visitor_run_iterative_type_function_type_visitor_alt_b iterative_type_function_type_visitor_traverse_iterative_type_function_type_visitor iterative_type_function_type_visitor_traverse_iterative_type_function_type_visitor_alt_b iterative_type_function_type_visitor_unsee iterative_type_function_type_visitor_visit_iterative_type_function_type_visitor C++ bool IterativeTypeFunctionTypeVisitor::visit(TypeFunctionTypeId ty)
(IterativeTypeFunctionTypeVisitor.cpp:73-76) — the base no-payload type
visit, which simply return true;. iterative_type_function_type_visitor_visit_iterative_type_function_type_visitor_alt_b iterative_type_function_type_visitor_visit_iterative_type_function_type_visitor_alt_c iterative_type_function_type_visitor_visit_iterative_type_function_type_visitor_alt_d iterative_type_function_type_visitor_visit_iterative_type_function_type_visitor_alt_e iterative_type_function_type_visitor_visit_iterative_type_function_type_visitor_alt_f iterative_type_function_type_visitor_visit_iterative_type_function_type_visitor_alt_g iterative_type_function_type_visitor_visit_iterative_type_function_type_visitor_alt_h iterative_type_function_type_visitor_visit_iterative_type_function_type_visitor_alt_i iterative_type_function_type_visitor_visit_iterative_type_function_type_visitor_alt_j iterative_type_function_type_visitor_visit_iterative_type_function_type_visitor_alt_k iterative_type_function_type_visitor_visit_iterative_type_function_type_visitor_alt_l iterative_type_function_type_visitor_visit_iterative_type_function_type_visitor_alt_m iterative_type_function_type_visitor_visit_iterative_type_function_type_visitor_alt_n iterative_type_function_type_visitor_visit_iterative_type_function_type_visitor_alt_o iterative_type_function_type_visitor_visit_iterative_type_function_type_visitor_alt_p iterative_type_function_type_visitor_visit_iterative_type_function_type_visitor_alt_q iterative_type_function_type_visitor_work_item_as_type iterative_type_function_type_visitor_work_item_as_type_pack iterative_type_function_type_visitor_work_item_operator_eq_iterative_type_function_type_visitor iterative_type_function_type_visitor_work_item_operator_eq_iterative_type_function_type_visitor_alt_b iterative_type_function_type_visitor_work_item_work_item_iterative_type_function_type_visitor iterative_type_function_type_visitor_work_item_work_item_iterative_type_function_type_visitor_alt_b iterative_type_visitor_cycle_iterative_type_visitor iterative_type_visitor_cycle_iterative_type_visitor_alt_b iterative_type_visitor_has_seen iterative_type_visitor_is_cyclic iterative_type_visitor_iterative_type_visitor_iterative_type_visitor iterative_type_visitor_iterative_type_visitor_iterative_type_visitor_alt_b iterative_type_visitor_iterative_type_visitor_iterative_type_visitor_alt_c iterative_type_visitor_iterative_type_visitor_iterative_type_visitor_alt_d iterative_type_visitor_iterative_type_visitor_iterative_type_visitor_alt_e iterative_type_visitor_operator_assign iterative_type_visitor_process_iterative_type_visitor iterative_type_visitor_process_iterative_type_visitor_alt_b iterative_type_visitor_process_work_queue iterative_type_visitor_run_iterative_type_visitor iterative_type_visitor_run_iterative_type_visitor_alt_b iterative_type_visitor_traverse_iterative_type_visitor iterative_type_visitor_traverse_iterative_type_visitor_alt_b iterative_type_visitor_unsee iterative_type_visitor_visit_iterative_type_visitor iterative_type_visitor_visit_iterative_type_visitor_alt_aa iterative_type_visitor_visit_iterative_type_visitor_alt_ab iterative_type_visitor_visit_iterative_type_visitor_alt_ac iterative_type_visitor_visit_iterative_type_visitor_alt_ad iterative_type_visitor_visit_iterative_type_visitor_alt_b iterative_type_visitor_visit_iterative_type_visitor_alt_c iterative_type_visitor_visit_iterative_type_visitor_alt_d iterative_type_visitor_visit_iterative_type_visitor_alt_e iterative_type_visitor_visit_iterative_type_visitor_alt_f iterative_type_visitor_visit_iterative_type_visitor_alt_g iterative_type_visitor_visit_iterative_type_visitor_alt_h iterative_type_visitor_visit_iterative_type_visitor_alt_i iterative_type_visitor_visit_iterative_type_visitor_alt_j iterative_type_visitor_visit_iterative_type_visitor_alt_k iterative_type_visitor_visit_iterative_type_visitor_alt_l iterative_type_visitor_visit_iterative_type_visitor_alt_m iterative_type_visitor_visit_iterative_type_visitor_alt_n iterative_type_visitor_visit_iterative_type_visitor_alt_o iterative_type_visitor_visit_iterative_type_visitor_alt_p iterative_type_visitor_visit_iterative_type_visitor_alt_q iterative_type_visitor_visit_iterative_type_visitor_alt_r iterative_type_visitor_visit_iterative_type_visitor_alt_s iterative_type_visitor_visit_iterative_type_visitor_alt_t iterative_type_visitor_visit_iterative_type_visitor_alt_u iterative_type_visitor_visit_iterative_type_visitor_alt_v iterative_type_visitor_visit_iterative_type_visitor_alt_w iterative_type_visitor_visit_iterative_type_visitor_alt_x iterative_type_visitor_visit_iterative_type_visitor_alt_y iterative_type_visitor_visit_iterative_type_visitor_alt_z iterative_type_visitor_work_item_as_type iterative_type_visitor_work_item_as_type_pack iterative_type_visitor_work_item_operator_eq_iterative_type_visitor iterative_type_visitor_work_item_operator_eq_iterative_type_visitor_alt_b iterative_type_visitor_work_item_work_item_iterative_type_visitor iterative_type_visitor_work_item_work_item_iterative_type_visitor_alt_b join_join json_emitter_json_emitter json_emitter_new_chunk json_emitter_pop_comma json_emitter_push_comma json_emitter_str json_emitter_write_array json_emitter_write_comma json_emitter_write_object json_emitter_write_raw_json_emitter json_emitter_write_raw_json_emitter_alt_b Node: cxx:Method:Luau.Analysis:Analysis/src/JsonEmitter.cpp:104:json_emitter_write_raw
Source: Analysis/src/JsonEmitter.cpp (JsonEmitter.cpp:104-107, hand-ported) l_value_hasher_operator_call lazy_type_lazy_type_type lazy_type_lazy_type_type_alt_b lazy_type_lazy_type_type_alt_c lazy_type_lazy_type_type_alt_d lazy_type_operator_assign_type lazy_type_operator_assign_type_alt_b lint_comparison_precedence_is_comparison lint_comparison_precedence_is_equality lint_comparison_precedence_is_not lint_comparison_precedence_process lint_comparison_precedence_visit lint_context_get_type lint_context_lint_context lint_context_warning_enabled lint_deprecated_api_check_linter lint_deprecated_api_check_linter_alt_b lint_deprecated_api_check_linter_alt_c lint_deprecated_api_get_function_type lint_deprecated_api_in_scope lint_deprecated_api_lint_deprecated_api lint_deprecated_api_pop_scope lint_deprecated_api_process lint_deprecated_api_push_scope lint_deprecated_api_report_linter lint_deprecated_api_report_linter_alt_b lint_deprecated_api_report_linter_alt_c lint_deprecated_api_report_linter_alt_d lint_deprecated_api_report_linter_alt_e lint_deprecated_api_visit_linter lint_deprecated_api_visit_linter_alt_b lint_deprecated_api_visit_linter_alt_c lint_deprecated_api_visit_linter_alt_d lint_deprecated_api_visit_linter_alt_e lint_deprecated_api_visit_linter_alt_f lint_duplicate_condition_detect_duplicates lint_duplicate_condition_extract_op_chain lint_duplicate_condition_lint_duplicate_condition lint_duplicate_condition_process lint_duplicate_condition_visit_linter lint_duplicate_condition_visit_linter_alt_b lint_duplicate_condition_visit_linter_alt_c lint_duplicate_function_build_name lint_duplicate_function_lint_duplicate_function lint_duplicate_function_process lint_duplicate_function_report lint_duplicate_function_track_function lint_duplicate_function_visit lint_duplicate_local_ignore_duplicate lint_duplicate_local_lint_duplicate_local lint_duplicate_local_process lint_duplicate_local_visit_linter lint_duplicate_local_visit_linter_alt_b lint_for_range_get_loop_end lint_for_range_process lint_for_range_visit lint_format_string_check_date_format lint_format_string_check_string_format lint_format_string_check_string_match lint_format_string_check_string_match_set lint_format_string_check_string_pack lint_format_string_check_string_replace lint_format_string_fuzz lint_format_string_is_alpha lint_format_string_is_digit lint_format_string_match_call lint_format_string_match_string_call lint_format_string_process lint_format_string_visit lint_global_local_function_info_function_info lint_global_local_hold_conditional_execution_hold_conditional_execution_linter lint_global_local_hold_conditional_execution_hold_conditional_execution_linter_alt_b lint_global_local_lint_global_local lint_global_local_process lint_global_local_report lint_global_local_track_global_ref lint_global_local_visit_linter lint_global_local_visit_linter_alt_b lint_global_local_visit_linter_alt_c lint_global_local_visit_linter_alt_d lint_global_local_visit_linter_alt_e lint_global_local_visit_linter_alt_f lint_global_local_visit_linter_alt_g lint_global_local_visit_linter_alt_h lint_global_local_visit_linter_alt_i lint_global_local_visit_linter_alt_j lint_implicit_return_get_end_location lint_implicit_return_get_value_return lint_implicit_return_process lint_implicit_return_visit lint_implicit_return_visitor_visit_linter lint_implicit_return_visitor_visit_linter_alt_b lint_integer_parsing_process lint_integer_parsing_visit lint_local_hygiene_is_require_call lint_local_hygiene_lint_local_hygiene lint_local_hygiene_process lint_local_hygiene_report lint_local_hygiene_report_unused_local lint_local_hygiene_report_used_local lint_local_hygiene_visit_linter lint_local_hygiene_visit_linter_alt_b lint_local_hygiene_visit_linter_alt_c lint_local_hygiene_visit_linter_alt_d lint_local_hygiene_visit_linter_alt_e lint_local_hygiene_visit_linter_alt_f lint_local_hygiene_visit_linter_alt_g lint_local_hygiene_visit_linter_alt_h lint_local_hygiene_visit_linter_alt_i lint_misleading_and_or_process lint_misleading_and_or_visit lint_multi_line_statement_process lint_multi_line_statement_visit_linter lint_multi_line_statement_visit_linter_alt_b lint_multi_line_statement_visit_linter_alt_c lint_multi_line_statement_visit_linter_alt_d lint_redundant_native_attribute_process lint_redundant_native_attribute_visit lint_same_line_statement_process lint_same_line_statement_visit lint_table_literal_ast_array_predicate_operator_call_linter lint_table_literal_ast_array_predicate_operator_call_linter_alt_b lint_table_literal_process lint_table_literal_visit_linter lint_table_literal_visit_linter_alt_b lint_table_literal_visit_linter_alt_c lint_table_literal_visit_linter_alt_d lint_table_operations_check_indexer lint_table_operations_check_table_call lint_table_operations_get_return_count lint_table_operations_is_constant lint_table_operations_is_length lint_table_operations_lint_table_operations lint_table_operations_process lint_table_operations_visit_linter C++ LintTableOperations::visit(AstExprUnary*) (Analysis/src/Linter.cpp:2610). lint_table_operations_visit_linter_alt_b C++ LintTableOperations::visit(AstExprCall*) (Analysis/src/Linter.cpp:2618). lint_unbalanced_assignment_assign lint_unbalanced_assignment_process lint_unbalanced_assignment_visit_linter lint_unbalanced_assignment_visit_linter_alt_b lint_uninitialized_local_lint_uninitialized_local lint_uninitialized_local_process lint_uninitialized_local_report C++ LintUninitializedLocal::report (Analysis/src/Linter.cpp:2118). lint_uninitialized_local_visit_assign C++ LintUninitializedLocal::visitAssign (Analysis/src/Linter.cpp:2184). lint_uninitialized_local_visit_linter lint_uninitialized_local_visit_linter_alt_b lint_uninitialized_local_visit_linter_alt_c lint_uninitialized_local_visit_linter_alt_d lint_unknown_type_get_type_kind lint_unknown_type_process lint_unknown_type_validate_type lint_unknown_type_visit lint_unreachable_code_analyze lint_unreachable_code_get_reason lint_unreachable_code_process lint_unreachable_code_visit lint_unused_function_lint_unused_function lint_unused_function_process lint_unused_function_report lint_unused_function_visit_linter lint_unused_function_visit_linter_alt_b luau_temp_thread_popper_luau_temp_thread_popper_type_function_runtime luau_temp_thread_popper_luau_temp_thread_popper_type_function_runtime_alt_b magic_assert_handle_old_solver magic_assert_infer magic_clone_handle_old_solver magic_clone_infer magic_find_handle_old_solver magic_find_infer magic_format_handle_old_solver magic_format_infer magic_format_type_check magic_freeze_handle_old_solver magic_freeze_infer magic_freeze_type_check magic_function_magic_function magic_function_refine magic_function_type_check magic_gmatch_handle_old_solver magic_gmatch_infer magic_match_handle_old_solver magic_match_infer magic_pack_handle_old_solver magic_pack_infer magic_pcall_handle_old_solver magic_pcall_infer magic_require_handle_old_solver magic_require_infer magic_select_handle_old_solver magic_select_infer magic_set_metatable_handle_old_solver magic_set_metatable_infer mapped_generic_environment_bind_generic mapped_generic_environment_lookup_generic_pack mapped_generic_environment_mapped_generic_frame_mapped_generic_frame mapped_generic_environment_pop_frame mapped_generic_environment_push_frame metatable_type_new metatable_type_new_named missing_properties_operator_eq missing_union_property_operator_eq module_clone_public_interface module_get_module_scope Node: cxx:Method:Luau.Analysis:Analysis/src/Module.cpp:355:module_get_module_scope
Source: Analysis/src/Module.cpp:355-359 module_has_cyclic_dependency_operator_eq module_has_module_scope module_module module_resolver_module_resolver multiple_nonviable_overloads_attempted_arg_count multiple_nonviable_overloads_new multiple_nonviable_overloads_operator_eq native_stack_guard_is_ok_native_stack_guard native_stack_guard_is_ok_native_stack_guard_alt_b native_stack_guard_is_ok_native_stack_guard_alt_c native_stack_guard_native_stack_guard_native_stack_guard native_stack_guard_native_stack_guard_native_stack_guard_alt_b native_stack_guard_native_stack_guard_native_stack_guard_alt_c nearest_likely_block_finder_nearest_likely_block_finder nearest_statement_finder_nearest_statement_finder nearest_statement_finder_visit negation_type_finder_visit_unifier negation_type_finder_visit_unifier_alt_b node_node Faithful port of Luau::detail::Node::Node
(Analysis/src/TopoSortStatements.cpp:83-87). non_exceptional_recursion_limiter_is_ok non_exceptional_recursion_limiter_non_exceptional_recursion_limiter non_strict_context_add_context non_strict_context_conjunction non_strict_context_disjunction non_strict_context_find_non_strict_type_checker non_strict_context_find_non_strict_type_checker_alt_b non_strict_context_non_strict_context_non_strict_type_checker non_strict_context_non_strict_context_non_strict_type_checker_alt_b non_strict_context_non_strict_context_non_strict_type_checker_alt_c non_strict_context_operator_assign_non_strict_type_checker non_strict_context_operator_assign_non_strict_type_checker_alt_b non_strict_context_remove non_strict_function_definition_error_operator_eq non_strict_type_checker_check_for_type_function_inhabitance non_strict_type_checker_find_innermost_scope non_strict_type_checker_flatten_pack Node: cxx:Method:Luau.Analysis:Analysis/src/NonStrictTypeChecker.cpp:208:non_strict_type_checker_flatten_pack
Source: Analysis/src/NonStrictTypeChecker.cpp:208-231 (hand-ported) non_strict_type_checker_get_or_create_negation non_strict_type_checker_lookup_pack_annotation non_strict_type_checker_lookup_type non_strict_type_checker_non_strict_type_checker non_strict_type_checker_push_stack non_strict_type_checker_report_error non_strict_type_checker_should_skip_runtime_error_testing non_strict_type_checker_visit_generics non_strict_type_checker_visit_non_strict_type_checker non_strict_type_checker_visit_non_strict_type_checker_alt_aa non_strict_type_checker_visit_non_strict_type_checker_alt_ab non_strict_type_checker_visit_non_strict_type_checker_alt_ac non_strict_type_checker_visit_non_strict_type_checker_alt_ad non_strict_type_checker_visit_non_strict_type_checker_alt_ae non_strict_type_checker_visit_non_strict_type_checker_alt_af non_strict_type_checker_visit_non_strict_type_checker_alt_ag non_strict_type_checker_visit_non_strict_type_checker_alt_ah non_strict_type_checker_visit_non_strict_type_checker_alt_ai non_strict_type_checker_visit_non_strict_type_checker_alt_aj non_strict_type_checker_visit_non_strict_type_checker_alt_ak non_strict_type_checker_visit_non_strict_type_checker_alt_al non_strict_type_checker_visit_non_strict_type_checker_alt_am non_strict_type_checker_visit_non_strict_type_checker_alt_an non_strict_type_checker_visit_non_strict_type_checker_alt_ao non_strict_type_checker_visit_non_strict_type_checker_alt_ap non_strict_type_checker_visit_non_strict_type_checker_alt_aq non_strict_type_checker_visit_non_strict_type_checker_alt_ar non_strict_type_checker_visit_non_strict_type_checker_alt_as non_strict_type_checker_visit_non_strict_type_checker_alt_at non_strict_type_checker_visit_non_strict_type_checker_alt_au non_strict_type_checker_visit_non_strict_type_checker_alt_av non_strict_type_checker_visit_non_strict_type_checker_alt_aw non_strict_type_checker_visit_non_strict_type_checker_alt_ax non_strict_type_checker_visit_non_strict_type_checker_alt_ay non_strict_type_checker_visit_non_strict_type_checker_alt_az non_strict_type_checker_visit_non_strict_type_checker_alt_b non_strict_type_checker_visit_non_strict_type_checker_alt_ba non_strict_type_checker_visit_non_strict_type_checker_alt_bb non_strict_type_checker_visit_non_strict_type_checker_alt_bc non_strict_type_checker_visit_non_strict_type_checker_alt_bd non_strict_type_checker_visit_non_strict_type_checker_alt_be non_strict_type_checker_visit_non_strict_type_checker_alt_c non_strict_type_checker_visit_non_strict_type_checker_alt_d non_strict_type_checker_visit_non_strict_type_checker_alt_e non_strict_type_checker_visit_non_strict_type_checker_alt_f non_strict_type_checker_visit_non_strict_type_checker_alt_g non_strict_type_checker_visit_non_strict_type_checker_alt_h non_strict_type_checker_visit_non_strict_type_checker_alt_i non_strict_type_checker_visit_non_strict_type_checker_alt_j non_strict_type_checker_visit_non_strict_type_checker_alt_k non_strict_type_checker_visit_non_strict_type_checker_alt_l non_strict_type_checker_visit_non_strict_type_checker_alt_m non_strict_type_checker_visit_non_strict_type_checker_alt_n non_strict_type_checker_visit_non_strict_type_checker_alt_o non_strict_type_checker_visit_non_strict_type_checker_alt_p non_strict_type_checker_visit_non_strict_type_checker_alt_q non_strict_type_checker_visit_non_strict_type_checker_alt_r non_strict_type_checker_visit_non_strict_type_checker_alt_s non_strict_type_checker_visit_non_strict_type_checker_alt_t non_strict_type_checker_visit_non_strict_type_checker_alt_u non_strict_type_checker_visit_non_strict_type_checker_alt_v non_strict_type_checker_visit_non_strict_type_checker_alt_w non_strict_type_checker_visit_non_strict_type_checker_alt_x non_strict_type_checker_visit_non_strict_type_checker_alt_y non_strict_type_checker_visit_non_strict_type_checker_alt_z non_strict_type_checker_will_run_time_error non_strict_type_checker_will_run_time_error_function_definition normalization_too_complex_operator_eq normalized_extern_type_is_never normalized_extern_type_push_pair normalized_extern_type_reset_to_never normalized_function_type_is_never normalized_function_type_reset_to_never normalized_function_type_reset_to_top normalized_string_type_includes normalized_string_type_is_intersection normalized_string_type_is_never normalized_string_type_is_string normalized_string_type_is_union normalized_string_type_normalized_string_type_normalize normalized_string_type_normalized_string_type_normalize_alt_b normalized_string_type_reset_to_never normalized_string_type_reset_to_string normalized_type_has_booleans normalized_type_has_buffers normalized_type_has_errors normalized_type_has_extern_types normalized_type_has_functions normalized_type_has_integers normalized_type_has_nils normalized_type_has_numbers normalized_type_has_strings normalized_type_has_tables normalized_type_has_threads normalized_type_has_top_table normalized_type_has_tops normalized_type_has_tyvars normalized_type_is_exactly_number normalized_type_is_falsy normalized_type_is_nil normalized_type_is_subtype_of_booleans normalized_type_is_subtype_of_string normalized_type_is_truthy normalized_type_is_unknown normalized_type_normalized_type_normalize normalized_type_normalized_type_normalize_alt_b normalized_type_normalized_type_normalize_alt_c normalized_type_normalized_type_normalize_alt_d normalized_type_normalized_type_normalize_alt_e normalized_type_operator_assign_normalize normalized_type_operator_assign_normalize_alt_b normalized_type_should_suppress_errors normalizer_cache_type_ids normalizer_clear_caches normalizer_clear_fuel normalizer_clear_normal normalizer_consume_fuel normalizer_initialize_fuel normalizer_intersect_extern_types normalizer_intersect_extern_types_with_extern_type normalizer_intersect_extern_types_with_shape Source: Analysis/src/Normalize.cpp:2430-2504 (hand-ported) normalizer_intersect_functions normalizer_intersect_functions_with_function normalizer_intersect_normal_with_negation_ty normalizer_intersect_normal_with_ty Source: Analysis/src/Normalize.cpp:3319-3564 (hand-ported) normalizer_intersect_normals Source: Analysis/src/Normalize.cpp:3244-3317 (hand-ported) normalizer_intersect_strings normalizer_intersect_tables normalizer_intersect_tables_with_table normalizer_intersect_tyvars_with_ty normalizer_intersection_of_bools normalizer_intersection_of_functions normalizer_intersection_of_tables Source: Analysis/src/Normalize.cpp:2711-2967 (hand-ported) normalizer_intersection_of_tops normalizer_intersection_of_type_packs normalizer_intersection_of_type_packs_internal normalizer_intersection_type normalizer_is_inhabited_normalize normalizer_is_inhabited_normalize_alt_b normalizer_is_inhabited_normalize_alt_c normalizer_is_inhabited_normalize_alt_d normalizer_is_intersection_inhabited_normalize Source: Analysis/src/Normalize.cpp:542-555 (hand-ported) normalizer_is_intersection_inhabited_normalize_alt_b normalizer_negate normalizer_negate_all normalizer_negate_normal normalizer_normalize normalizer_normalize_intersections normalizer_normalizer_normalize @interface-stub normalizer_normalizer_normalize_alt_b normalizer_normalizer_normalize_alt_c normalizer_normalizer_normalize_alt_d normalizer_normalizer_normalize_alt_e normalizer_operator_assign_normalize normalizer_operator_assign_normalize_alt_b normalizer_subtract_primitive normalizer_subtract_singleton normalizer_type_from_normal normalizer_union_extern_types_normalize normalizer_union_extern_types_normalize_alt_b normalizer_union_extern_types_with_extern_type_normalize normalizer_union_extern_types_with_extern_type_normalize_alt_b normalizer_union_functions normalizer_union_functions_with_function normalizer_union_normal_with_ty Source: Analysis/src/Normalize.cpp:1796-1967 (hand-ported) normalizer_union_normals normalizer_union_of_bools normalizer_union_of_functions normalizer_union_of_tops normalizer_union_of_type_packs normalizer_union_saturated_functions normalizer_union_strings normalizer_union_tables normalizer_union_tables_with_table normalizer_union_type normalizer_use_new_luau_solver normalizer_within_resource_limits not_a_table_operator_eq null_file_resolver_read_source null_module_resolver_get_human_readable_module_name null_module_resolver_get_module null_module_resolver_module_exists null_module_resolver_resolve_module_info object_emitter_finish object_emitter_object_emitter_json_emitter object_emitter_object_emitter_json_emitter_alt_b object_emitter_write_pair Source: Analysis/include/Luau/JsonEmitter.h (lines 155-167, hand-ported) occurs_check_failed_operator_eq only_tables_can_have_methods_operator_eq optional_value_access_operator_eq or_predicate_or_predicate @interface-stub ordered_map_push overload_resolution_get_unambiguous_overload overload_resolver_is_arity_compatible overload_resolver_maybe_emplace_error_overload_resolver Source: Analysis/src/OverloadResolver.cpp:645-658 (hand-ported) overload_resolver_maybe_emplace_error_overload_resolver_alt_b Source: Analysis/src/OverloadResolver.cpp:660-696 (hand-ported) overload_resolver_maybe_emplace_error_overload_resolver_alt_c overload_resolver_maybe_emplace_error_overload_resolver_alt_d Source: Analysis/src/OverloadResolver.cpp:722-744 (hand-ported) overload_resolver_new overload_resolver_overload_resolver overload_resolver_report_errors Source: Analysis/src/OverloadResolver.cpp:289-453 (hand-ported) overload_resolver_resolve_overload Node: cxx:Method:Luau.Analysis:Analysis/src/OverloadResolver.cpp:175:overload_resolver_resolve_overload
Source: Analysis/src/OverloadResolver.cpp:175-196 (hand-ported) overload_resolver_test_function Source: Analysis/src/OverloadResolver.cpp:457-548 (hand-ported) overload_resolver_test_function_or_call_metamethod Source: Analysis/src/OverloadResolver.cpp:604-643 (hand-ported) overload_resolver_test_function_or_union Source: Analysis/src/OverloadResolver.cpp:550-593 (hand-ported) pack_slice_operator_eq pack_where_clause_needed_operator_eq path_append path_builder_args path_builder_build path_builder_index path_builder_index_key path_builder_index_value path_builder_lb path_builder_mapped_generic_pack path_builder_mt path_builder_negated path_builder_pack_slice path_builder_prop path_builder_read_prop path_builder_rets path_builder_tail path_builder_ub path_builder_variadic Source: Analysis/src/TypePath.cpp:239-243 (hand-ported) path_builder_write_prop path_empty path_hash_operator_call_type_path path_hash_operator_call_type_path_alt_b path_hash_operator_call_type_path_alt_c path_hash_operator_call_type_path_alt_d path_hash_operator_call_type_path_alt_e path_hash_operator_call_type_path_alt_f path_hash_operator_call_type_path_alt_g path_hash_operator_call_type_path_alt_h path_hash_operator_call_type_path_alt_i path_last path_operator_eq path_operator_ne path_path_type_path path_path_type_path_alt_b path_path_type_path_alt_c path_pop path_push path_push_front pending_expansion_type_pending_expansion_type pending_type_pack_pending_type_pack pending_type_pending_type primitive_type_primitive_type_type primitive_type_primitive_type_type_alt_b promote_type_levels_promote promote_type_levels_promote_type_levels promote_type_levels_traverse Node: cxx:Method:Luau.Analysis:Analysis/src/Unifier.cpp:49:promote_type_levels_traverse
Source: Analysis/src/Unifier.cpp:23-141 (hand-ported) promote_type_levels_visit_unifier Source: Analysis/src/Unifier.cpp (PromoteTypeLevels::visit(TypeId), L49-56) promote_type_levels_visit_unifier_alt_b Source: Analysis/src/Unifier.cpp (PromoteTypeLevels::visit(TypePackId), L58-65) promote_type_levels_visit_unifier_alt_c promote_type_levels_visit_unifier_alt_d promote_type_levels_visit_unifier_alt_e promote_type_levels_visit_unifier_alt_f property_access_violation_operator_eq property_create property_is_read_only property_is_read_write property_is_shared property_is_write_only property_make_shared property_operator_eq property_property_type property_property_type_alt_c property_property_type_path property_property_type_path_alt_d property_read property_readonly property_rw_type property_rw_type_alt_b property_set_type property_type_deprecated property_types_found_missing_prop property_types_found_one_prop property_types_none_missing_prop property_write property_writeonly push_scope_push_scope_data_flow_graph push_scope_push_scope_data_flow_graph_alt_b quantifier_quantifier quantifier_subsumes quantifier_visit_quantify quantifier_visit_quantify_alt_b quantifier_visit_quantify_alt_c reasonings_to_string recursion_counter_operator_assign_recursion_counter recursion_counter_operator_assign_recursion_counter_alt_b recursion_counter_recursion_counter_recursion_counter recursion_counter_recursion_counter_recursion_counter_alt_b @interface-stub recursion_counter_recursion_counter_recursion_counter_alt_c recursion_counter_recursion_counter_recursion_counter_alt_d recursion_limit_exception_recursion_limit_exception recursion_limiter_recursion_limiter recursive_restraint_violation_operator_eq reduction_operator_eq reference_count_initializer_reference_count_initializer reference_count_initializer_visit_constraint reference_count_initializer_visit_constraint_alt_b reference_count_initializer_visit_constraint_alt_c reference_count_initializer_visit_constraint_alt_d reference_count_initializer_visit_constraint_alt_e reference_count_initializer_visit_constraint_alt_f reference_count_initializer_visit_constraint_alt_g reference_count_initializer_visit_constraint_alt_h refine_refine refine_type_scrubber_clean_builtin_type_functions refine_type_scrubber_clean_builtin_type_functions_alt_b C++ RefineTypeScrubber::clean(TypeId ty)
(BuiltinTypeFunctions.cpp:1131-1169). Filters the needle (and never/
unknown short-circuits) out of a union/intersection, collapsing the result. refine_type_scrubber_ignore_children_builtin_type_functions refine_type_scrubber_ignore_children_builtin_type_functions_alt_b C++ RefineTypeScrubber::ignoreChildren(TypeId ty)
(BuiltinTypeFunctions.cpp:1126-1129): return !is<UnionType, IntersectionType>(ty); refine_type_scrubber_is_dirty_builtin_type_functions refine_type_scrubber_is_dirty_builtin_type_functions_alt_b refine_type_scrubber_refine_type_scrubber C++ RefineTypeScrubber::RefineTypeScrubber(NotNull<TypeFunctionContext> ctx, TypeId needle) (BuiltinTypeFunctions.cpp:1083-1088). Base-inits the
Substitution with ctx->arena, then stores ctx and needle. refinement_arena_conjunction_control_flow_graph Source: Analysis/src/ControlFlowGraph.cpp:28-31 (hand-ported)
C++ RefinementId RefinementArena::conjunction(RefinementId lhs, RefinementId rhs). refinement_arena_conjunction_refinement Source: Analysis/src/Refinement.cpp:28-34 (hand-ported)
C++ RefinementId RefinementArena::conjunction(RefinementId lhs, RefinementId rhs). refinement_arena_disjunction_control_flow_graph Source: Analysis/src/ControlFlowGraph.cpp:33-36 (hand-ported)
C++ RefinementId RefinementArena::disjunction(RefinementId lhs, RefinementId rhs). refinement_arena_disjunction_refinement Source: Analysis/src/Refinement.cpp:36-42 (hand-ported)
C++ RefinementId RefinementArena::disjunction(RefinementId lhs, RefinementId rhs). refinement_arena_equivalence Source: Analysis/src/Refinement.cpp:44-50 (hand-ported)
C++ RefinementId RefinementArena::equivalence(RefinementId lhs, RefinementId rhs). refinement_arena_freeze refinement_arena_implicit_proposition refinement_arena_negation_control_flow_graph Source: Analysis/src/ControlFlowGraph.cpp:38-49 (hand-ported)
C++ RefinementId RefinementArena::negation(RefinementId r). refinement_arena_negation_refinement Source: Analysis/src/Refinement.cpp:20-26 (hand-ported)
C++ RefinementId RefinementArena::negation(RefinementId refinement). refinement_arena_proposition_control_flow_graph refinement_arena_proposition_refinement refinement_arena_type_proposition refinement_arena_variadic Source: Analysis/src/Refinement.cpp:8-18 (hand-ported)
C++ RefinementId RefinementArena::variadic(const std::vector<RefinementId>& refis). refinement_key_arena_empty refinement_key_arena_leaf refinement_key_arena_node replace_generics_clean_instantiation replace_generics_clean_instantiation_alt_b replace_generics_ignore_children replace_generics_is_dirty_instantiation replace_generics_is_dirty_instantiation_alt_b replace_generics_replace_generics Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Instantiation.h:21:ReplaceGenerics
Source: Analysis/include/Luau/Instantiation.h (Instantiation.h:21-37, hand-ported) replace_generics_reset_state replacer_check_replacement_keys replacer_clean_instantiation_2 replacer_clean_instantiation_2_alt_b replacer_deprecate_d_clean_instantiation_2 replacer_deprecate_d_clean_instantiation_2_alt_b replacer_deprecate_d_is_dirty_instantiation_2 replacer_deprecate_d_is_dirty_instantiation_2_alt_b replacer_deprecated_replacer_deprecated replacer_ignore_children replacer_is_dirty_instantiation_2 replacer_is_dirty_instantiation_2_alt_b replacer_replacer require_alias_require_alias_file_resolver require_alias_require_alias_file_resolver_alt_b require_node_get_label require_node_get_tags require_node_require_node require_suggester_get_require_suggestions Generated skeleton item. @skeleton-stub
Node: cxx:Method:Luau.Analysis:Analysis/src/FileResolver.cpp:148:require_suggester_get_require_suggestions
Source: Analysis/src/FileResolver.cpp
Graph edges: require_suggester_get_require_suggestions_impl require_suggester_require_suggester require_tracer_get_dependent require_tracer_process require_tracer_require_tracer require_tracer_visit_require_tracer require_tracer_visit_require_tracer_alt_b require_tracer_visit_require_tracer_alt_c require_tracer_visit_require_tracer_alt_d require_tracer_visit_require_tracer_alt_e require_tracer_visit_require_tracer_alt_f reserved_identifier_operator_eq resetter_resetter_unifier resetter_resetter_unifier_alt_b runtime_error_operator_eq scope_add_builtin_type_binding scope_find_narrowest_scope_containing scope_inherit_assignments scope_inherit_refinements scope_is_invalid_type_alias scope_linear_search_for_binding scope_linear_search_for_binding_pair scope_lookup_ex_scope scope_lookup_ex_scope_alt_b scope_lookup_imported_type scope_lookup_pack scope_lookup_r_value_refinement_type scope_lookup_scope scope_lookup_scope_alt_b scope_lookup_type scope_lookup_unrefined_type scope_new C++ Scope::Scope(const ScopePtr& parent, int subLevel = 0)
(Analysis/src/Scope.cpp): a child scope inherits its parent’s return type
and an incremented type level, and value-initializes every container. The
DenseHash* empty-key sentinels match the in-class initializers in
Analysis/include/Luau/Scope.h ({nullptr}, {""}, {{}}). scope_scope_scope C++ Scope::Scope(TypePackId returnType) (Analysis/src/Scope.cpp:10):
a root scope with no parent, the given return type, and a default
TypeLevel{}. Every other member uses its in-class initializer (the
DenseHash* empty-key sentinels from Analysis/include/Luau/Scope.h). scope_scope_scope_alt_b scope_should_warn_global scoped_assign_scoped_assign_user_defined_type_function scoped_assign_scoped_assign_user_defined_type_function_alt_b scoped_exit_operator_assign_fragment_autocomplete scoped_exit_operator_assign_fragment_autocomplete_alt_b scoped_exit_scoped_exit_fragment_autocomplete scoped_exit_scoped_exit_fragment_autocomplete_alt_b scoped_exit_scoped_exit_fragment_autocomplete_alt_c scoped_exit_scoped_exit_fragment_autocomplete_alt_d scoped_exit_scoped_exit_fragment_autocomplete_alt_e serialized_function_scope_serialized_function_scope_type_function_runtime_builder serialized_function_scope_serialized_function_scope_type_function_runtime_builder_alt_b serialized_generic_serialized_generic_type_function_runtime_builder serialized_generic_serialized_generic_type_function_runtime_builder_alt_b set_begin Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Set.h:104:set_iteration
Source: Analysis/include/Luau/Set.h:104-199 (hand-ported) set_clear Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Set.h:77:set_clear
Source: Analysis/include/Luau/Set.h:77-81 (hand-ported) set_const_iterator_const_iterator Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Set.h:141:set_iteration
Source: Analysis/include/Luau/Set.h:141 (hand-ported placeholder) set_const_iterator_operator_deref_set Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Set.h:149:set_iteration
Source: Analysis/include/Luau/Set.h:149 (hand-ported placeholder) set_const_iterator_operator_deref_set_alt_b Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Set.h:154:set_iteration
Source: Analysis/include/Luau/Set.h:154 (hand-ported placeholder) set_const_iterator_operator_eq Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Set.h:159:set_iteration
Source: Analysis/include/Luau/Set.h:159 (hand-ported placeholder) set_const_iterator_operator_inc_set Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Set.h:170:set_iteration
Source: Analysis/include/Luau/Set.h:170 (hand-ported placeholder) set_const_iterator_operator_inc_set_alt_b Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Set.h:181:set_iteration
Source: Analysis/include/Luau/Set.h:181 (hand-ported placeholder) set_const_iterator_operator_ne Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Set.h:164:set_iteration
Source: Analysis/include/Luau/Set.h:164 (hand-ported placeholder) set_contains Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Set.h:99:set_contains
Source: Analysis/include/Luau/Set.h:99-102 (hand-ported) set_count Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Set.h:93:set_count
Source: Analysis/include/Luau/Set.h:93-97 (hand-ported) set_empty Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Set.h:88:set_empty
Source: Analysis/include/Luau/Set.h:88-91 (hand-ported) set_end Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Set.h:109:set_iteration
Source: Analysis/include/Luau/Set.h:109 (hand-ported placeholder) set_erase_set Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Set.h:55:set_erase
Source: Analysis/include/Luau/Set.h:55-65 (hand-ported) set_erase_set_alt_b Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Set.h:66:set_erase
Source: Analysis/include/Luau/Set.h:66-76 (hand-ported) set_insert_set Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Set.h:34:set_insert
Source: Analysis/include/Luau/Set.h:34-47 (hand-ported) set_insert_set_alt_b Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Set.h:48:set_insert
Source: Analysis/include/Luau/Set.h:48-53 (hand-ported) set_operator_eq Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Set.h:114:set_operator_eq
Source: Analysis/include/Luau/Set.h:114-130 (hand-ported) set_set Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Set.h:29:set_set
Source: Analysis/include/Luau/Set.h:29-32 (hand-ported) set_size Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Set.h:83:set_size
Source: Analysis/include/Luau/Set.h:83-86 (hand-ported) singleton_type_operator_eq singleton_type_operator_ne singleton_type_singleton_type_type singleton_type_singleton_type_type_alt_b skip_cache_for_type_skip_cache_for_type skip_cache_for_type_traverse Source: Analysis/include/Luau/VisitType.h (GenericTypeVisitor::traverse, L217-505) skip_cache_for_type_visit_unifier skip_cache_for_type_visit_unifier_alt_b skip_cache_for_type_visit_unifier_alt_c skip_cache_for_type_visit_unifier_alt_d skip_cache_for_type_visit_unifier_alt_e skip_cache_for_type_visit_unifier_alt_f skip_cache_for_type_visit_unifier_alt_g skip_cache_for_type_visit_unifier_alt_h skip_cache_for_type_visit_unifier_alt_i skip_cache_for_type_visit_unifier_alt_j skip_cache_for_type_visit_unifier_alt_k skip_cache_for_type_visit_unifier_alt_l source_module_source_module source_node_has_dirty_module source_node_has_dirty_source_module Generated skeleton item. @skeleton-stub
Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Frontend.h:49:source_node_has_dirty_source_module
Source: Analysis/include/Luau/Frontend.h
Graph edges: source_node_has_invalid_module_dependency Generated skeleton item. @skeleton-stub
Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Frontend.h:59:source_node_has_invalid_module_dependency
Source: Analysis/include/Luau/Frontend.h
Graph edges: source_node_set_invalid_module_dependency Generated skeleton item. @skeleton-stub
Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Frontend.h:64:source_node_set_invalid_module_dependency
Source: Analysis/include/Luau/Frontend.h
Graph edges: stack_pusher_operator_assign_non_strict_type_checker stack_pusher_operator_assign_type_checker_2 stack_pusher_stack_pusher_non_strict_type_checker stack_pusher_stack_pusher_non_strict_type_checker_alt_b stack_pusher_stack_pusher_non_strict_type_checker_alt_c stack_pusher_stack_pusher_non_strict_type_checker_alt_d Source: Analysis/src/NonStrictTypeChecker.cpp:60-64 (hand-ported) stack_pusher_stack_pusher_type_checker_2 stack_pusher_stack_pusher_type_checker_2_alt_f Faithful port of StackPusher::~StackPusher (TypeChecker2.cpp:73-80). stack_pusher_stack_pusher_type_checker_2_alt_g @interface-stub stack_pusher_stack_pusher_type_checker_2_alt_h state_dot_can_duplicate_primitive state_dot_finish_node state_dot_finish_node_label_to_dot state_dot_finish_node_label_to_dot_alt_b state_dot_start_node state_dot_start_node_label state_dot_state_dot state_dot_visit_child_to_dot state_dot_visit_child_to_dot_alt_b state_dot_visit_children_to_dot state_dot_visit_children_to_dot_alt_b std_equal_to_const_luau_type_ids_operator_call std_equal_to_luau_type_ids_operator_call std_hash_const_luau_type_ids_operator_call std_hash_luau_type_ids_operator_call string_singleton_operator_eq string_singleton_operator_ne stringifier_state_dedent stringifier_state_emit_and_record_span Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:305:stringifier_state_emit_and_record_span
Source: Analysis/src/ToString.cpp:305-313 (hand-ported) stringifier_state_emit_indentation stringifier_state_emit_level Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:262:stringifier_state_emit_level
Source: Analysis/src/ToString.cpp:262-278 (hand-ported) stringifier_state_emit_primitives Source: Analysis/src/ToString.cpp:254-305 (hand-ported)
The C++ overloaded emit(...) family as a trait + generic method
(the AstJsonEncoder::write precedent). stringifier_state_emit_to_string stringifier_state_emit_to_string_alt_b Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:280:stringifier_state_emit
Source: Analysis/src/ToString.cpp:280-285 (hand-ported) stringifier_state_emit_to_string_alt_c stringifier_state_emit_to_string_alt_d stringifier_state_emit_to_string_alt_e stringifier_state_emit_to_string_alt_f stringifier_state_get_name_to_string Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:209:stringifier_state_get_name
Source: Analysis/src/ToString.cpp:209-227 (hand-ported) stringifier_state_get_name_to_string_alt_b Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:232:stringifier_state_get_name
Source: Analysis/src/ToString.cpp:232-252 (hand-ported) stringifier_state_has_seen Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:191:stringifier_state_has_seen
Source: Analysis/src/ToString.cpp:191-199 (hand-ported) stringifier_state_indent stringifier_state_newline Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:347:stringifier_state_newline
Source: Analysis/src/ToString.cpp:347-354 (hand-ported) stringifier_state_stringifier_state Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:178:stringifier_state_stringifier_state
Source: Analysis/src/ToString.cpp:178-190 (hand-ported) stringifier_state_unsee Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:201:stringifier_state_unsee
Source: Analysis/src/ToString.cpp:201-207 (hand-ported) substitution_add_type substitution_add_type_pack substitution_clone_substitution substitution_clone_substitution_alt_b substitution_dont_traverse_into_substitution substitution_dont_traverse_into_substitution_alt_b substitution_found_dirty_substitution substitution_found_dirty_substitution_alt_b substitution_replace_children_substitution substitution_replace_children_substitution_alt_b substitution_replace_substitution substitution_replace_substitution_alt_b substitution_replace_substitution_alt_c substitution_reset_state substitution_substitute_substitution substitution_substitute_substitution_alt_b substitution_substitution_substitution substitution_substitution_substitution_alt_b subtype_constraint_record_operator_eq subtyping_bind_generic subtyping_cache subtyping_check_generic_bounds subtyping_environment_apply_mapped_generics subtyping_environment_contains_mapped_pack subtyping_environment_contains_mapped_type subtyping_environment_get_mapped_type_bounds subtyping_environment_lookup_generic_pack subtyping_environment_try_find_substitution subtyping_environment_try_find_subtyping_result subtyping_handle_type_function_reduction_result subtyping_is_contravariant_with_subtyping subtyping_is_contravariant_with_subtyping_alt_b subtyping_is_covariant_with_deprecated subtyping_is_covariant_with_subtyping subtyping_is_covariant_with_subtyping_alt_aa subtyping_is_covariant_with_subtyping_alt_ab subtyping_is_covariant_with_subtyping_alt_ac subtyping_is_covariant_with_subtyping_alt_ad subtyping_is_covariant_with_subtyping_alt_ae subtyping_is_covariant_with_subtyping_alt_af subtyping_is_covariant_with_subtyping_alt_ag subtyping_is_covariant_with_subtyping_alt_ah subtyping_is_covariant_with_subtyping_alt_b subtyping_is_covariant_with_subtyping_alt_c subtyping_is_covariant_with_subtyping_alt_d subtyping_is_covariant_with_subtyping_alt_e subtyping_is_covariant_with_subtyping_alt_f subtyping_is_covariant_with_subtyping_alt_g subtyping_is_covariant_with_subtyping_alt_h subtyping_is_covariant_with_subtyping_alt_i subtyping_is_covariant_with_subtyping_alt_j subtyping_is_covariant_with_subtyping_alt_k subtyping_is_covariant_with_subtyping_alt_l subtyping_is_covariant_with_subtyping_alt_m Node: cxx:Method:Luau.Analysis:Analysis/src/Subtyping.cpp:1909:subtyping_is_covariant_with
Source: Analysis/src/Subtyping.cpp:1909-2052 (hand-ported) subtyping_is_covariant_with_subtyping_alt_n subtyping_is_covariant_with_subtyping_alt_o subtyping_is_covariant_with_subtyping_alt_p subtyping_is_covariant_with_subtyping_alt_q subtyping_is_covariant_with_subtyping_alt_r subtyping_is_covariant_with_subtyping_alt_s Faithful port of the function/function isCovariantWith overload
Subtyping::isCovariantWith(env, const FunctionType* subFunction, const FunctionType* superFunction, scope)
(Analysis/src/Subtyping.cpp:2378-2486). subtyping_is_covariant_with_subtyping_alt_t subtyping_is_covariant_with_subtyping_alt_u subtyping_is_covariant_with_subtyping_alt_v subtyping_is_covariant_with_subtyping_alt_w subtyping_is_covariant_with_subtyping_alt_x subtyping_is_covariant_with_subtyping_alt_y subtyping_is_covariant_with_subtyping_alt_z subtyping_is_covariant_with_super_tail Faithful port of Subtyping::isCovariantWithSuperTail
(Analysis/src/Subtyping.cpp:1260-1338). subtyping_is_invariant_with_subtyping subtyping_is_invariant_with_subtyping_alt_b subtyping_is_sub_tail_covariant_with Faithful port of Subtyping::isSubTailCovariantWith
(Analysis/src/Subtyping.cpp:1180-1258). subtyping_is_subtype_subtyping subtyping_is_subtype_subtyping_alt_b Faithful port of Subtyping::isSubtype(subTp, superTp, scope, bindableGenerics)
— the 4-arg pack overload (Analysis/src/Subtyping.cpp:635-639) that constructs
an empty bindableGenericPacks and delegates to the 5-arg overload. subtyping_is_subtype_subtyping_alt_c Faithful port of the 5-arg pack overload
Subtyping::isSubtype(subTp, superTp, scope, bindableGenerics, bindableGenericPacks)
(Analysis/src/Subtyping.cpp:641-675). subtyping_is_tail_covariant_with_tail_subtyping subtyping_is_tail_covariant_with_tail_subtyping_alt_b subtyping_is_tail_covariant_with_tail_subtyping_alt_c subtyping_is_tail_covariant_with_tail_subtyping_alt_d subtyping_is_tail_covariant_with_tail_subtyping_alt_e subtyping_is_tail_covariant_with_tail_subtyping_alt_f subtyping_make_aggregate_type Faithful port of Subtyping::makeAggregateType<T, Container>
(Analysis/src/Subtyping.cpp:2918-2927). subtyping_maybe_update_bounds subtyping_operator_assign_subtyping subtyping_operator_assign_subtyping_alt_b subtyping_peek_cache subtyping_reasoning_hash_operator_call subtyping_reasoning_new subtyping_reasoning_operator_eq subtyping_reasoning_sub_path subtyping_reasoning_super_path subtyping_result_and_also subtyping_result_assumed_constraints subtyping_result_is_error_suppressing subtyping_result_is_subtype subtyping_result_negate subtyping_result_or_else subtyping_result_reasoning subtyping_result_with_assumed_constraint subtyping_result_with_both_component subtyping_result_with_both_path subtyping_result_with_error subtyping_result_with_errors subtyping_result_with_property_modifier_violation subtyping_result_with_sub_component subtyping_result_with_sub_path subtyping_result_with_super_component subtyping_result_with_super_path subtyping_subtyping_subtyping @interface-stub subtyping_subtyping_subtyping_alt_b subtyping_subtyping_subtyping_alt_c subtyping_subtyping_subtyping_alt_d Node: cxx:Method:Luau.Analysis:Analysis/src/Subtyping.cpp:585:Subtyping
Source: Analysis/src/Subtyping.cpp:585-598 (hand-ported) subtyping_try_semantic_subtyping subtyping_unifier_can_be_unified Source: Analysis/src/SubtypingUnifier.cpp:24-31 — SubtypingUnifier::canBeUnified. subtyping_unifier_dispatch_constraints Source: Analysis/src/SubtypingUnifier.cpp:33-52 — SubtypingUnifier::dispatchConstraints. subtyping_unifier_dispatch_one_constraint Source: Analysis/src/SubtypingUnifier.cpp:83-183 — SubtypingUnifier::dispatchOneConstraint. subtyping_unifier_occurs_check_deprecated subtyping_unifier_subtyping_unifier swapped_generic_type_parameter_operator_eq sym_def_name sym_def_operator_eq sym_def_operator_ne sym_def_sym_def sym_def_versioned_name symbol_ast_name symbol_c_str symbol_operator_eq symbol_operator_lt symbol_operator_ne symbol_symbol_symbol symbol_symbol_symbol_alt_b symbol_symbol_symbol_alt_c symbol_symbol_symbol_alt_d syntax_error_operator_eq table_indexer_table_indexer table_type_table_type_type table_type_table_type_type_alt_b table_type_table_type_type_alt_c table_type_table_type_type_alt_d tarjan_clear_tarjan tarjan_find_dirty_substitution tarjan_find_dirty_substitution_alt_b tarjan_get_dirty tarjan_ignore_children_substitution tarjan_ignore_children_substitution_alt_b tarjan_ignore_children_visit_substitution tarjan_ignore_children_visit_substitution_alt_b tarjan_indexify_substitution tarjan_indexify_substitution_alt_b tarjan_loop tarjan_node_tarjan_node tarjan_set_dirty tarjan_tarjan_substitution tarjan_tarjan_substitution_alt_b tarjan_visit_child_substitution tarjan_visit_child_substitution_alt_b tarjan_visit_child_substitution_alt_c tarjan_visit_children_substitution tarjan_visit_children_substitution_alt_b tarjan_visit_edge tarjan_visit_root_substitution tarjan_visit_root_substitution_alt_b tarjan_visit_scc tarjan_worklist_vertex_tarjan_worklist_vertex time_limit_error_time_limit_error to_string_options_to_string_options Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:37:to_string_options_to_string_options
Source: Analysis/include/Luau/ToString.h:37-60 (hand-ported) to_string_span_end_pos to_string_span_start_pos to_string_span_type traversal_state_check_invariants traversal_state_too_long traversal_state_traversal_state_type_path traversal_state_traversal_state_type_path_alt_b traversal_state_traverse_type_path Source: Analysis/src/TypePath.cpp:324-391 (hand-ported) traversal_state_traverse_type_path_alt_b Source: Analysis/src/TypePath.cpp:393-467 (hand-ported) traversal_state_traverse_type_path_alt_c Source: Analysis/src/TypePath.cpp:469-549 (hand-ported) traversal_state_traverse_type_path_alt_d traversal_state_traverse_type_path_alt_e Source: Analysis/src/TypePath.cpp:559-593 (hand-ported) traversal_state_traverse_type_path_alt_f Source: Analysis/src/TypePath.cpp:595-627 (hand-ported) traversal_state_traverse_type_path_alt_g traversal_state_update_current_type_path traversal_state_update_current_type_path_alt_b txn_log_bind_table txn_log_change_indexer txn_log_change_level_txn_log txn_log_change_level_txn_log_alt_b txn_log_clear txn_log_commit txn_log_concat txn_log_concat_as_union txn_log_empty txn_log_follow_txn_log @interface-stub txn_log_follow_txn_log_alt_b txn_log_get txn_log_get_level txn_log_get_mutable @interface-stub txn_log_have_seen_txn_log txn_log_have_seen_txn_log_alt_b txn_log_have_seen_txn_log_alt_c txn_log_inverse txn_log_is txn_log_is_radioactive txn_log_new txn_log_operator_assign_txn_log txn_log_operator_assign_txn_log_alt_b txn_log_pending_txn_log txn_log_pending_txn_log_alt_b txn_log_pop_seen_txn_log txn_log_pop_seen_txn_log_alt_b txn_log_pop_seen_txn_log_alt_c txn_log_push_seen_txn_log txn_log_push_seen_txn_log_alt_b txn_log_push_seen_txn_log_alt_c txn_log_queue_txn_log txn_log_queue_txn_log_alt_b txn_log_replace_txn_log txn_log_replace_txn_log_alt_b txn_log_replace_txn_log_alt_c txn_log_replace_txn_log_alt_d txn_log_txn_log_txn_log txn_log_txn_log_txn_log_alt_b txn_log_txn_log_txn_log_alt_c txn_log_txn_log_txn_log_alt_d txn_log_txn_log_txn_log_alt_e type_arena_add_tv type_arena_add_type type_arena_add_type_function_type_arena type_arena_add_type_function_type_arena_alt_b type_arena_add_type_pack_function_type_arena type_arena_add_type_pack_function_type_arena_alt_b type_arena_add_type_pack_type_arena type_arena_add_type_pack_type_arena_alt_b type_arena_add_type_pack_type_arena_alt_c type_arena_add_type_pack_type_arena_alt_d type_arena_add_type_pack_type_arena_alt_e type_arena_clear type_arena_fresh_type_pack type_arena_fresh_type_type_arena type_arena_fresh_type_type_arena_alt_b type_arena_fresh_type_type_arena_alt_c type_arena_record_singleton_stats type_attacher_get_scope type_attacher_type_ast type_attacher_type_ast_pack type_attacher_type_attacher type_attacher_visit_local type_attacher_visit_type_attach type_attacher_visit_type_attach_alt_b type_attacher_visit_type_attach_alt_c type_attacher_visit_type_attach_alt_d type_attacher_visit_type_attach_alt_e type_cacher_cache type_cacher_is_cached type_cacher_is_uncacheable_generalization type_cacher_is_uncacheable_generalization_alt_b type_cacher_mark_uncacheable_generalization type_cacher_mark_uncacheable_generalization_alt_b type_cacher_type_cacher type_cacher_visit_generalization type_cacher_visit_generalization_alt_aa type_cacher_visit_generalization_alt_ab type_cacher_visit_generalization_alt_ac type_cacher_visit_generalization_alt_b type_cacher_visit_generalization_alt_c type_cacher_visit_generalization_alt_d type_cacher_visit_generalization_alt_e type_cacher_visit_generalization_alt_f type_cacher_visit_generalization_alt_g type_cacher_visit_generalization_alt_h type_cacher_visit_generalization_alt_i type_cacher_visit_generalization_alt_j type_cacher_visit_generalization_alt_k type_cacher_visit_generalization_alt_l type_cacher_visit_generalization_alt_m type_cacher_visit_generalization_alt_n type_cacher_visit_generalization_alt_o type_cacher_visit_generalization_alt_p type_cacher_visit_generalization_alt_q type_cacher_visit_generalization_alt_r type_cacher_visit_generalization_alt_s type_cacher_visit_generalization_alt_t type_cacher_visit_generalization_alt_u type_cacher_visit_generalization_alt_v type_cacher_visit_generalization_alt_w type_cacher_visit_generalization_alt_x type_cacher_visit_generalization_alt_y type_cacher_visit_generalization_alt_z type_checker_2_allows_no_return_values Faithful port of TypeChecker2::allowsNoReturnValues (TypeChecker2.cpp:329-338). type_checker_2_check_for_internal_type_function type_checker_2_check_for_type_function_inhabitance Faithful port of TypeChecker2::checkForTypeFunctionInhabitance
(TypeChecker2.cpp:496-508). type_checker_2_check_index_type_from_type type_checker_2_check_type_instantiation type_checker_2_diagnose_missing_table_key type_checker_2_explain_error_type_checker_2 type_checker_2_explain_error_type_checker_2_alt_b type_checker_2_explain_reasonings_type_checker_2 Faithful port of TypeChecker2::explainReasonings_<TID> (TypeChecker2.cpp:3026-3134). type_checker_2_explain_reasonings_type_checker_2_alt_b type_checker_2_explain_reasonings_type_checker_2_alt_c type_checker_2_find_innermost_scope Faithful port of TypeChecker2::findInnermostScope (TypeChecker2.cpp:609-629). type_checker_2_flatten_pack Node: cxx:Method:Luau.Analysis:Analysis/src/TypeChecker2.cpp:2723:type_checker_2_flatten_pack
Source: Analysis/src/TypeChecker2.cpp:2723-2749 (hand-ported) type_checker_2_get_binding_type type_checker_2_get_end_location type_checker_2_get_fallthrough type_checker_2_has_break type_checker_2_has_index_type_from_type Faithful port of TypeChecker2::hasIndexTypeFromType (TypeChecker2.cpp:3727-3859). type_checker_2_index_expr_metatable_helper type_checker_2_is_error_call type_checker_2_is_error_suppressing_type_checker_2 type_checker_2_is_error_suppressing_type_checker_2_alt_b type_checker_2_is_error_suppressing_type_checker_2_alt_c type_checker_2_is_error_suppressing_type_checker_2_alt_d type_checker_2_lookup_annotation type_checker_2_lookup_expected_pack type_checker_2_lookup_expected_type type_checker_2_lookup_pack type_checker_2_lookup_pack_annotation type_checker_2_lookup_prop type_checker_2_lookup_type Faithful port of TypeChecker2::lookupType (TypeChecker2.cpp:522-536). type_checker_2_maybe_report_subtyping_error Faithful port of TypeChecker2::maybeReportSubtypingError
(TypeChecker2.cpp:3403-3419). type_checker_2_push_stack Faithful port of TypeChecker2::pushStack (TypeChecker2.cpp:476-482). type_checker_2_push_stack_node type_checker_2_reconstruct_pack type_checker_2_report_error_type_checker_2 Faithful port of TypeChecker2::reportError(TypeErrorData, const Location&)
(TypeChecker2.cpp:3449-3458). type_checker_2_report_error_type_checker_2_alt_b type_checker_2_report_errors type_checker_2_report_errors_from_assigning_to_never type_checker_2_report_nonviable_overload_errors type_checker_2_should_suppress_uninhabited_type_function type_checker_2_strip_from_nil_and_report Faithful port of TypeChecker2::stripFromNilAndReport (TypeChecker2.cpp:1883-1910). type_checker_2_suggest_annotations type_checker_2_test_is_subtype_for_in_stat type_checker_2_test_is_subtype_type_checker_2 type_checker_2_test_is_subtype_type_checker_2_alt_b type_checker_2_test_literal_or_ast_type_is_subtype type_checker_2_test_potential_literal_is_subtype type_checker_2_try_strip_union_from_nil type_checker_2_type_checker_2 type_checker_2_visit_call type_checker_2_visit_expr_name type_checker_2_visit_generics type_checker_2_visit_type_checker_2 type_checker_2_visit_type_checker_2_alt_aa type_checker_2_visit_type_checker_2_alt_ab type_checker_2_visit_type_checker_2_alt_ac type_checker_2_visit_type_checker_2_alt_ad type_checker_2_visit_type_checker_2_alt_ae type_checker_2_visit_type_checker_2_alt_af type_checker_2_visit_type_checker_2_alt_ag type_checker_2_visit_type_checker_2_alt_ah type_checker_2_visit_type_checker_2_alt_ai type_checker_2_visit_type_checker_2_alt_aj type_checker_2_visit_type_checker_2_alt_ak type_checker_2_visit_type_checker_2_alt_al type_checker_2_visit_type_checker_2_alt_am Faithful port of TypeChecker2::visit(AstExprFunction*) (TypeChecker2.cpp:2026-2148). type_checker_2_visit_type_checker_2_alt_an type_checker_2_visit_type_checker_2_alt_ao type_checker_2_visit_type_checker_2_alt_ap type_checker_2_visit_type_checker_2_alt_aq type_checker_2_visit_type_checker_2_alt_ar type_checker_2_visit_type_checker_2_alt_as type_checker_2_visit_type_checker_2_alt_at type_checker_2_visit_type_checker_2_alt_au type_checker_2_visit_type_checker_2_alt_av Faithful port of TypeChecker2::visit(AstType*) (TypeChecker2.cpp:2778-2798). type_checker_2_visit_type_checker_2_alt_aw Faithful port of TypeChecker2::visit(AstTypeReference*) (TypeChecker2.cpp:2800-2938). type_checker_2_visit_type_checker_2_alt_ax type_checker_2_visit_type_checker_2_alt_ay type_checker_2_visit_type_checker_2_alt_az type_checker_2_visit_type_checker_2_alt_b type_checker_2_visit_type_checker_2_alt_ba type_checker_2_visit_type_checker_2_alt_bb type_checker_2_visit_type_checker_2_alt_bc type_checker_2_visit_type_checker_2_alt_bd type_checker_2_visit_type_checker_2_alt_be type_checker_2_visit_type_checker_2_alt_bf type_checker_2_visit_type_checker_2_alt_c type_checker_2_visit_type_checker_2_alt_d type_checker_2_visit_type_checker_2_alt_e type_checker_2_visit_type_checker_2_alt_f type_checker_2_visit_type_checker_2_alt_g type_checker_2_visit_type_checker_2_alt_h type_checker_2_visit_type_checker_2_alt_i type_checker_2_visit_type_checker_2_alt_j Faithful port of TypeChecker2::visit(AstStatLocal*) (TypeChecker2.cpp:791-859). type_checker_2_visit_type_checker_2_alt_k type_checker_2_visit_type_checker_2_alt_l type_checker_2_visit_type_checker_2_alt_m type_checker_2_visit_type_checker_2_alt_n type_checker_2_visit_type_checker_2_alt_o type_checker_2_visit_type_checker_2_alt_p type_checker_2_visit_type_checker_2_alt_q type_checker_2_visit_type_checker_2_alt_r type_checker_2_visit_type_checker_2_alt_s type_checker_2_visit_type_checker_2_alt_t type_checker_2_visit_type_checker_2_alt_u type_checker_2_visit_type_checker_2_alt_v type_checker_2_visit_type_checker_2_alt_w type_checker_2_visit_type_checker_2_alt_x type_checker_2_visit_type_checker_2_alt_y type_checker_2_visit_type_checker_2_alt_z type_checker_add_tv Source: Analysis/src/TypeInfer.cpp:5585-5588 (hand-ported)
C++ TypeId TypeChecker::addTV(Type&& tv) { return currentModule->internalTypes.addType(std::move(tv)); }. type_checker_add_type type_checker_add_type_pack_type_infer type_checker_add_type_pack_type_infer_alt_b type_checker_add_type_pack_type_infer_alt_c type_checker_add_type_pack_type_infer_alt_d type_checker_add_type_pack_type_infer_alt_e type_checker_any_if_nonstrict type_checker_anyify_module_return_type_pack_generics type_checker_anyify_type_infer type_checker_anyify_type_infer_alt_b type_checker_can_unify_type_infer type_checker_can_unify_type_infer_alt_b type_checker_can_unify_type_infer_alt_c type_checker_check_argument_list type_checker_check_binary_operation Source: Analysis/src/TypeInfer.cpp (TypeChecker::checkBinaryOperation, L3026-3165) type_checker_check_block type_checker_check_block_type_aliases type_checker_check_block_without_recursion_check type_checker_check_call_overload type_checker_check_expr_list type_checker_check_expr_pack type_checker_check_expr_pack_helper_type_infer type_checker_check_expr_pack_helper_type_infer_alt_b type_checker_check_expr_table type_checker_check_expr_type_infer type_checker_check_expr_type_infer_alt_b type_checker_check_expr_type_infer_alt_c type_checker_check_expr_type_infer_alt_d type_checker_check_expr_type_infer_alt_e type_checker_check_expr_type_infer_alt_f type_checker_check_expr_type_infer_alt_g type_checker_check_expr_type_infer_alt_h type_checker_check_expr_type_infer_alt_i type_checker_check_expr_type_infer_alt_j type_checker_check_expr_type_infer_alt_k type_checker_check_expr_type_infer_alt_l type_checker_check_expr_type_infer_alt_m type_checker_check_expr_type_infer_alt_n type_checker_check_expr_type_infer_alt_o type_checker_check_expr_type_infer_alt_p type_checker_check_function_body type_checker_check_function_name type_checker_check_function_signature type_checker_check_l_value type_checker_check_l_value_binding_type_infer type_checker_check_l_value_binding_type_infer_alt_b type_checker_check_l_value_binding_type_infer_alt_c type_checker_check_l_value_binding_type_infer_alt_d type_checker_check_l_value_binding_type_infer_alt_e type_checker_check_relational_operation Source: Analysis/src/TypeInfer.cpp (TypeChecker::checkRelationalOperation, L2713-3024) type_checker_check_require type_checker_check_type_infer type_checker_check_type_infer_alt_b type_checker_check_type_infer_alt_c type_checker_check_type_infer_alt_d type_checker_check_type_infer_alt_e type_checker_check_type_infer_alt_f type_checker_check_type_infer_alt_g type_checker_check_type_infer_alt_h type_checker_check_type_infer_alt_i type_checker_check_type_infer_alt_j type_checker_check_type_infer_alt_k Faithful port of ControlFlow TypeChecker::check(const ScopePtr& scope, const AstStatFor& expr)
(Analysis/src/TypeInfer.cpp:1175-1200). type_checker_check_type_infer_alt_l Faithful port of ControlFlow TypeChecker::check(const ScopePtr& scope, const AstStatForIn& forin)
(Analysis/src/TypeInfer.cpp:1202-1392). type_checker_check_type_infer_alt_m type_checker_check_type_infer_alt_n type_checker_check_type_infer_alt_o type_checker_check_type_infer_alt_p type_checker_check_type_infer_alt_q type_checker_check_type_infer_alt_r type_checker_check_type_infer_alt_s type_checker_check_type_infer_alt_t type_checker_check_without_recursion_check type_checker_child_function_scope type_checker_child_scope @interface-stub type_checker_create_generic_types type_checker_diagnose_missing_table_key type_checker_error_recovery_type_pack_type_infer type_checker_error_recovery_type_pack_type_infer_alt_b type_checker_error_recovery_type_type_infer type_checker_error_recovery_type_type_infer_alt_b type_checker_filter_map type_checker_filter_map_impl type_checker_find_metatable_entry type_checker_find_table_property_respecting_meta type_checker_fresh_type_pack_type_infer type_checker_fresh_type_pack_type_infer_alt_b @interface-stub type_checker_fresh_type_type_infer type_checker_fresh_type_type_infer_alt_b @interface-stub type_checker_get_expected_types_for_call type_checker_get_index_type_from_type type_checker_get_index_type_from_type_impl type_checker_get_scopes type_checker_handle_self_call_mismatch type_checker_ice_type_infer type_checker_ice_type_infer_alt_b type_checker_instantiate type_checker_instantiate_type_fun type_checker_instantiate_type_parameters type_checker_is_nonstrict_mode type_checker_match_require type_checker_merge @interface-stub type_checker_mk_truthy_predicate type_checker_mk_unifier type_checker_operator_assign Source: Analysis/include/Luau/TypeInfer.h:71 (hand-ported) type_checker_pick_types_from_sense type_checker_prepare_errors_for_display type_checker_prototype_type_infer type_checker_prototype_type_infer_alt_b type_checker_quantify type_checker_refine_l_value type_checker_report_error_code_too_complex type_checker_report_error_type_infer @interface-stub type_checker_report_error_type_infer_alt_b type_checker_report_errors type_checker_report_overload_resolution_error type_checker_resolve_l_value_type_infer type_checker_resolve_l_value_type_infer_alt_b type_checker_resolve_type @interface-stub type_checker_resolve_type_infer type_checker_resolve_type_infer_alt_b type_checker_resolve_type_infer_alt_c type_checker_resolve_type_infer_alt_d type_checker_resolve_type_infer_alt_e type_checker_resolve_type_infer_alt_f type_checker_resolve_type_infer_alt_g type_checker_resolve_type_infer_alt_h type_checker_resolve_type_infer_alt_i type_checker_resolve_type_pack_type_infer type_checker_resolve_type_pack_type_infer_alt_b type_checker_resolve_type_worker type_checker_singleton_type_type_infer type_checker_singleton_type_type_infer_alt_b type_checker_strip_from_nil_and_report type_checker_tablify @interface-stub type_checker_throw_time_limit_error type_checker_throw_user_cancel_error type_checker_try_strip_union_from_nil type_checker_try_unify_type_infer type_checker_try_unify_type_infer_alt_b type_checker_try_unify_type_infer_alt_c type_checker_type_checker_type_infer Source: Analysis/include/Luau/TypeInfer.h:70 (hand-ported) type_checker_type_checker_type_infer_alt_b type_checker_un_type_pack type_checker_unify_type_infer type_checker_unify_type_infer_alt_b type_checker_unify_type_infer_alt_c type_checker_unify_with_instantiation_if_needed_type_infer type_checker_unify_with_instantiation_if_needed_type_infer_alt_b type_checker_union_of_types type_clone type_cloner_clone_children_clone type_cloner_clone_children_clone_alt_aa type_cloner_clone_children_clone_alt_ab type_cloner_clone_children_clone_alt_ac type_cloner_clone_children_clone_alt_ad type_cloner_clone_children_clone_alt_ae type_cloner_clone_children_clone_alt_af type_cloner_clone_children_clone_alt_b type_cloner_clone_children_clone_alt_c type_cloner_clone_children_clone_alt_d type_cloner_clone_children_clone_alt_e type_cloner_clone_children_clone_alt_f type_cloner_clone_children_clone_alt_g type_cloner_clone_children_clone_alt_h type_cloner_clone_children_clone_alt_i type_cloner_clone_children_clone_alt_j type_cloner_clone_children_clone_alt_k type_cloner_clone_children_clone_alt_l type_cloner_clone_children_clone_alt_m type_cloner_clone_children_clone_alt_n type_cloner_clone_children_clone_alt_o type_cloner_clone_children_clone_alt_p type_cloner_clone_children_clone_alt_q type_cloner_clone_children_clone_alt_r type_cloner_clone_children_clone_alt_s type_cloner_clone_children_clone_alt_t type_cloner_clone_children_clone_alt_u type_cloner_clone_children_clone_alt_v type_cloner_clone_children_clone_alt_w type_cloner_clone_children_clone_alt_x type_cloner_clone_children_clone_alt_y type_cloner_clone_children_clone_alt_z type_cloner_clone_clone type_cloner_clone_clone_alt_b type_cloner_find_clone type_cloner_find_clone_alt_b type_cloner_find_clone_alt_c type_cloner_has_exceeded_iteration_limit type_cloner_run type_cloner_shallow_clone_clone type_cloner_shallow_clone_clone_alt_b type_cloner_shallow_clone_clone_alt_c type_cloner_type_cloner_clone type_cloner_type_cloner_clone_alt_b type_error_code type_error_min_code type_error_operator_eq type_error_summary type_error_summary_type_error_summary type_error_type_error_error type_error_type_error_error_alt_b type_error_type_error_error_alt_c type_from_bound_type type_fun_operator_eq type_fun_type_fun_type type_fun_type_fun_type_alt_b type_fun_type_fun_type_alt_c type_fun_type_fun_type_alt_d type_function_cloner_clone_children_type_function_runtime type_function_cloner_clone_children_type_function_runtime_alt_b type_function_cloner_clone_children_type_function_runtime_alt_c type_function_cloner_clone_children_type_function_runtime_alt_d type_function_cloner_clone_children_type_function_runtime_alt_e type_function_cloner_clone_children_type_function_runtime_alt_f type_function_cloner_clone_children_type_function_runtime_alt_g type_function_cloner_clone_children_type_function_runtime_alt_h type_function_cloner_clone_children_type_function_runtime_alt_i type_function_cloner_clone_children_type_function_runtime_alt_j type_function_cloner_clone_children_type_function_runtime_alt_k type_function_cloner_clone_children_type_function_runtime_alt_l Faithful port of
TypeFunctionCloner::cloneChildren(TypeFunctionTableType* t1, TypeFunctionTableType* t2)
(Analysis/src/TypeFunctionRuntime.cpp:2832-2852). type_function_cloner_clone_children_type_function_runtime_alt_m type_function_cloner_clone_children_type_function_runtime_alt_n type_function_cloner_clone_children_type_function_runtime_alt_o type_function_cloner_clone_children_type_function_runtime_alt_p type_function_cloner_clone_children_type_function_runtime_alt_q type_function_cloner_clone_children_type_function_runtime_alt_r type_function_cloner_clone_type_function_runtime type_function_cloner_clone_type_function_runtime_alt_b type_function_cloner_find_type_function_runtime type_function_cloner_find_type_function_runtime_alt_b type_function_cloner_find_type_function_runtime_alt_c type_function_cloner_has_exceeded_iteration_limit type_function_cloner_run type_function_cloner_shallow_clone_type_function_runtime Faithful port of TypeFunctionCloner::shallowClone(TypeFunctionTypeId ty)
(Analysis/src/TypeFunctionRuntime.cpp:2641-2713). type_function_cloner_shallow_clone_type_function_runtime_alt_b Faithful port of TypeFunctionCloner::shallowClone(TypeFunctionTypePackId tp)
(Analysis/src/TypeFunctionRuntime.cpp:2715-2734). type_function_cloner_type_function_cloner type_function_context_push_constraint C++ NotNull<Constraint> TypeFunctionContext::pushConstraint(ConstraintV&& c) const (BuiltinTypeFunctions.cpp:376-387). Forwards to the solver and, when a
current constraint exists, inherits its blocks onto the new constraint. type_function_context_type_function_context_builtin_type_functions C++ TypeFunctionContext::TypeFunctionContext(NotNull<ConstraintSolver> cs, NotNull<Scope> scope, NotNull<const Constraint> constraint, NotNull<Subtyping> subtyping) (BuiltinTypeFunctions.cpp:362-374). Pulls
arena/builtins/normalizer/runtime/ice/limits out of the constraint solver and
records the solver + constraint pointers. type_function_context_type_function_context_type_function C++ TypeFunctionContext::TypeFunctionContext(NotNull<TypeArena>, NotNull<BuiltinTypes>, NotNull<Scope>, NotNull<Normalizer>, NotNull<TypeFunctionRuntime>, NotNull<InternalErrorReporter>, NotNull<TypeCheckLimits>, NotNull<Subtyping>) (TypeFunction.h:60-81). Plain
field-init ctor; solver/constraint are null because this overload is
used when reducing outside of the constraint solver. type_function_deserializer_close_function_scope type_function_deserializer_deserialize_children_type_function_runtime_builder Source: Analysis/src/TypeFunctionRuntimeBuilder.cpp:866-898 type_function_deserializer_deserialize_children_type_function_runtime_builder_alt_b Source: Analysis/src/TypeFunctionRuntimeBuilder.cpp:900-911 type_function_deserializer_deserialize_children_type_function_runtime_builder_alt_c Source: Analysis/src/TypeFunctionRuntimeBuilder.cpp:913-921 type_function_deserializer_deserialize_children_type_function_runtime_builder_alt_d type_function_deserializer_deserialize_children_type_function_runtime_builder_alt_e type_function_deserializer_deserialize_children_type_function_runtime_builder_alt_f type_function_deserializer_deserialize_children_type_function_runtime_builder_alt_g type_function_deserializer_deserialize_children_type_function_runtime_builder_alt_h type_function_deserializer_deserialize_children_type_function_runtime_builder_alt_i type_function_deserializer_deserialize_children_type_function_runtime_builder_alt_j type_function_deserializer_deserialize_children_type_function_runtime_builder_alt_k type_function_deserializer_deserialize_children_type_function_runtime_builder_alt_l type_function_deserializer_deserialize_children_type_function_runtime_builder_alt_m Source: Analysis/src/TypeFunctionRuntimeBuilder.cpp:981-988 type_function_deserializer_deserialize_children_type_function_runtime_builder_alt_n Source: Analysis/src/TypeFunctionRuntimeBuilder.cpp:990-1074 type_function_deserializer_deserialize_children_type_function_runtime_builder_alt_o type_function_deserializer_deserialize_children_type_function_runtime_builder_alt_p type_function_deserializer_deserialize_children_type_function_runtime_builder_alt_q Source: Analysis/src/TypeFunctionRuntimeBuilder.cpp:1086-1093 type_function_deserializer_deserialize_children_type_function_runtime_builder_alt_r Source: Analysis/src/TypeFunctionRuntimeBuilder.cpp:1095-1098 type_function_deserializer_deserialize_children_type_function_runtime_builder_alt_s type_function_deserializer_deserialize_type_function_runtime_builder Source: Analysis/src/TypeFunctionRuntimeBuilder.cpp:593-606 type_function_deserializer_deserialize_type_function_runtime_builder_alt_b Source: Analysis/src/TypeFunctionRuntimeBuilder.cpp:608-621 type_function_deserializer_find_type_function_runtime_builder type_function_deserializer_find_type_function_runtime_builder_alt_b type_function_deserializer_find_type_function_runtime_builder_alt_c type_function_deserializer_has_errors type_function_deserializer_has_exceeded_iteration_limit type_function_deserializer_push_runtime_error type_function_deserializer_run type_function_deserializer_shallow_deserialize_type_function_runtime_builder type_function_deserializer_shallow_deserialize_type_function_runtime_builder_alt_b type_function_deserializer_type_function_deserializer type_function_error_converter_operator_call_type_function_error type_function_error_converter_operator_call_type_function_error_alt_b type_function_error_converter_operator_call_type_function_error_alt_c type_function_error_converter_operator_call_type_function_error_alt_d type_function_error_converter_operator_call_type_function_error_alt_e type_function_error_operator_eq type_function_error_type_function_error_type_function_error type_function_error_type_function_error_type_function_error_alt_b type_function_error_type_function_error_type_function_error_alt_c type_function_finder_type_function_finder type_function_finder_visit_type_checker_2 type_function_finder_visit_type_checker_2_alt_b type_function_instance_type_new_user_defined type_function_instance_type_state type_function_instance_type_type_function_instance_type_type type_function_instance_type_type_function_instance_type_type_alt_b type_function_instance_type_type_function_instance_type_type_alt_c type_function_instance_type_type_function_instance_type_type_alt_d type_function_missing_operator_eq type_function_primitive_type_type_function_primitive_type type_function_property_is_read_only type_function_property_is_shared type_function_property_is_write_only type_function_property_readonly type_function_property_rw_type_function_runtime type_function_property_rw_type_function_runtime_alt_b type_function_property_writeonly type_function_reducer_done type_function_reducer_get_state_type_function type_function_reducer_get_state_type_function_alt_b type_function_reducer_handle_type_function_reduction TypeFunctionReducer::handleTypeFunctionReduction<T> (TypeFunction.cpp:375-453).type_function_reducer_replace TypeFunctionReducer::replace<T> (TypeFunction.cpp:324-344).type_function_reducer_set_state_type_function type_function_reducer_set_state_type_function_alt_b type_function_reducer_step type_function_reducer_step_pack TypeFunctionReducer::stepPack (TypeFunction.cpp:624-646).type_function_reducer_step_type TypeFunctionReducer::stepType (TypeFunction.cpp:565-622).type_function_reducer_test_for_skippability_type_function type_function_reducer_test_for_skippability_type_function_alt_b type_function_reducer_test_parameters type_function_reducer_try_guessing type_function_reducer_type_function_reducer type_function_reduction_guesser_done type_function_reduction_guesser_dump_guesses type_function_reduction_guesser_guess_type type_function_reduction_guesser_guess_type_function_reduction_for_function_expr type_function_reduction_guesser_guess_type_function_reduction_guesser type_function_reduction_guesser_guess_type_function_reduction_guesser_alt_b type_function_reduction_guesser_infer type_function_reduction_guesser_infer_comparison_function type_function_reduction_guesser_infer_len_function type_function_reduction_guesser_infer_not_function type_function_reduction_guesser_infer_numeric_binop_function type_function_reduction_guesser_infer_or_and_function type_function_reduction_guesser_infer_type_function_substitutions type_function_reduction_guesser_infer_unary_minus_function type_function_reduction_guesser_is_comparison_function type_function_reduction_guesser_is_function_generics_saturated type_function_reduction_guesser_is_len_function type_function_reduction_guesser_is_not_function type_function_reduction_guesser_is_numeric_binop_function type_function_reduction_guesser_is_or_and_function type_function_reduction_guesser_is_unary_minus type_function_reduction_guesser_normalize type_function_reduction_guesser_operand_is_assignable type_function_reduction_guesser_step type_function_reduction_guesser_try_assign_operand_type type_function_reduction_guesser_type_function_reduction_guesser type_function_runtime_builder_state_type_function_runtime_builder_state type_function_runtime_new type_function_runtime_prepare_state Faithful port of void TypeFunctionRuntime::prepareState()
(Analysis/src/TypeFunctionRuntime.cpp:230-248). type_function_runtime_register_function Faithful port of
std::optional<TypeFunctionError> TypeFunctionRuntime::registerFunction(AstStatTypeFunction* function)
(Analysis/src/TypeFunctionRuntime.cpp:144-228). type_function_runtime_register_function_deprecated Faithful port of
std::optional<std::string> TypeFunctionRuntime::registerFunction_DEPRECATED(AstStatTypeFunction* function)
(Analysis/src/TypeFunctionRuntime.cpp:58-142). type_function_runtime_type_function_runtime_type_function_runtime type_function_runtime_type_function_runtime_type_function_runtime_alt_b type_function_serializer_find_type_function_runtime_builder type_function_serializer_find_type_function_runtime_builder_alt_b type_function_serializer_find_type_function_runtime_builder_alt_c type_function_serializer_has_errors type_function_serializer_has_exceeded_iteration_limit type_function_serializer_run type_function_serializer_serialize_children_type_function_runtime_builder type_function_serializer_serialize_children_type_function_runtime_builder_alt_b type_function_serializer_serialize_children_type_function_runtime_builder_alt_c type_function_serializer_serialize_children_type_function_runtime_builder_alt_d type_function_serializer_serialize_children_type_function_runtime_builder_alt_e type_function_serializer_serialize_children_type_function_runtime_builder_alt_f type_function_serializer_serialize_children_type_function_runtime_builder_alt_g type_function_serializer_serialize_children_type_function_runtime_builder_alt_h type_function_serializer_serialize_children_type_function_runtime_builder_alt_i type_function_serializer_serialize_children_type_function_runtime_builder_alt_j type_function_serializer_serialize_children_type_function_runtime_builder_alt_k type_function_serializer_serialize_children_type_function_runtime_builder_alt_l type_function_serializer_serialize_children_type_function_runtime_builder_alt_m type_function_serializer_serialize_children_type_function_runtime_builder_alt_n type_function_serializer_serialize_children_type_function_runtime_builder_alt_o type_function_serializer_serialize_children_type_function_runtime_builder_alt_p type_function_serializer_serialize_children_type_function_runtime_builder_alt_q type_function_serializer_serialize_children_type_function_runtime_builder_alt_r type_function_serializer_serialize_children_type_function_runtime_builder_alt_s type_function_serializer_serialize_type_function_runtime_builder type_function_serializer_serialize_type_function_runtime_builder_alt_b type_function_serializer_shallow_serialize_type_function_runtime_builder Faithful port of TypeFunctionSerializer::shallowSerialize(TypeId ty)
(Analysis/src/TypeFunctionRuntimeBuilder.cpp:145-255). type_function_serializer_shallow_serialize_type_function_runtime_builder_alt_b Faithful port of TypeFunctionSerializer::shallowSerialize(TypePackId tp)
(Analysis/src/TypeFunctionRuntimeBuilder.cpp:257-292). type_function_serializer_type_function_serializer type_function_singleton_type_type_function_singleton_type type_function_table_indexer_type_function_table_indexer type_function_type_operator_eq type_function_type_pack_var_operator_eq type_function_type_pack_var_type_function_type_pack_var type_function_type_type_function_type type_id_pair_hash_hash_one type_id_pair_hash_operator_call type_ids_begin_type_ids type_ids_begin_type_ids_alt_b type_ids_clear type_ids_clear_without_realloc type_ids_count type_ids_empty type_ids_end_type_ids type_ids_end_type_ids_alt_b type_ids_erase_type_ids type_ids_erase_type_ids_alt_b type_ids_front type_ids_get_hash type_ids_insert_type_ids type_ids_insert_type_ids_alt_b type_ids_is_never type_ids_operator_assign_type_ids type_ids_operator_assign_type_ids_alt_b type_ids_operator_eq type_ids_reserve type_ids_retain type_ids_size type_ids_take type_ids_type_ids_type_ids type_ids_type_ids_type_ids_alt_b type_ids_type_ids_type_ids_alt_c type_ids_type_ids_type_ids_alt_d type_ids_type_ids_type_ids_alt_e type_instantiation_count_mismatch_operator_eq type_iterator_advance Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Type.h:1209:type_iterator_advance
Source: Analysis/include/Luau/Type.h:1209-1222 (hand-ported) type_iterator_descend Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Type.h:1224:type_iterator_descend
Source: Analysis/include/Luau/Type.h:1224-1246 (hand-ported) type_iterator_operator_deref Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Type.h:1177:type_iterator_operator_deref
Source: Analysis/include/Luau/Type.h:1177-1193 (hand-ported) type_iterator_operator_eq Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Type.h:1164:type_iterator_operator_eq
Source: Analysis/include/Luau/Type.h:1164-1170 (hand-ported) type_iterator_operator_inc_type Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Type.h:1150:type_iterator_operator_inc
Source: Analysis/include/Luau/Type.h:1150-1155 (hand-ported) type_iterator_operator_inc_type_alt_b Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Type.h:1157:type_iterator_operator_inc
Source: Analysis/include/Luau/Type.h:1157-1162 (hand-ported) type_iterator_operator_ne Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Type.h:1172:type_iterator_operator_ne
Source: Analysis/include/Luau/Type.h:1172-1175 (hand-ported) type_iterator_type_iterator_type Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Type.h:1138:type_iterator_type_iterator
Source: Analysis/include/Luau/Type.h:1138-1148 (hand-ported) type_iterator_type_iterator_type_alt_b Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/Type.h:1201:type_iterator_type_iterator
Source: Analysis/include/Luau/Type.h:1201 (hand-ported) type_level_incr type_level_subsumes type_level_subsumes_strict type_mismatch_operator_eq type_mismatch_type_mismatch_error type_mismatch_type_mismatch_error_alt_b Generated skeleton item. @skeleton-stub
Node: cxx:Method:Luau.Analysis:Analysis/src/Error.cpp:1026:type_mismatch_type_mismatch
Source: Analysis/src/Error.cpp
Graph edges: type_mismatch_type_mismatch_error_alt_c Generated skeleton item. @skeleton-stub
Node: cxx:Method:Luau.Analysis:Analysis/src/Error.cpp:1032:type_mismatch_type_mismatch
Source: Analysis/src/Error.cpp
Graph edges: type_mismatch_type_mismatch_error_alt_d Generated skeleton item. @skeleton-stub
Node: cxx:Method:Luau.Analysis:Analysis/src/Error.cpp:1039:type_mismatch_type_mismatch
Source: Analysis/src/Error.cpp
Graph edges: type_mismatch_type_mismatch_error_alt_e Generated skeleton item. @skeleton-stub
Node: cxx:Method:Luau.Analysis:Analysis/src/Error.cpp:1047:type_mismatch_type_mismatch
Source: Analysis/src/Error.cpp
Graph edges: type_mismatch_type_mismatch_error_alt_f Generated skeleton item. @skeleton-stub
Node: cxx:Method:Luau.Analysis:Analysis/src/Error.cpp:1054:type_mismatch_type_mismatch
Source: Analysis/src/Error.cpp
Graph edges: type_mismatch_type_mismatch_error_alt_g Generated skeleton item. @skeleton-stub
Node: cxx:Method:Luau.Analysis:Analysis/src/Error.cpp:1062:type_mismatch_type_mismatch
Source: Analysis/src/Error.cpp
Graph edges: type_once_visitor_type_once_visitor Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:524:type_once_visitor_type_once_visitor
Source: Analysis/include/Luau/VisitType.h:524-527 (hand-ported) type_operator_assign_type type_operator_assign_type_alt_b type_operator_assign_type_alt_c type_operator_assign_type_alt_d type_operator_eq type_operator_ne type_pack_head type_pack_head_mut type_pack_iterator_operator_deref type_pack_iterator_operator_eq type_pack_iterator_operator_inc_type_pack type_pack_iterator_operator_inc_type_pack_alt_b type_pack_iterator_operator_ne type_pack_iterator_tail type_pack_iterator_type_pack_iterator_type_pack type_pack_iterator_type_pack_iterator_type_pack_alt_b type_pack_iterator_type_pack_iterator_type_pack_alt_c type_pack_mismatch_operator_eq type_pack_rehydration_visitor_operator_call_type_attach type_pack_rehydration_visitor_operator_call_type_attach_alt_b type_pack_rehydration_visitor_operator_call_type_attach_alt_c type_pack_rehydration_visitor_operator_call_type_attach_alt_d type_pack_rehydration_visitor_operator_call_type_attach_alt_e type_pack_rehydration_visitor_operator_call_type_attach_alt_f type_pack_rehydration_visitor_operator_call_type_attach_alt_g type_pack_rehydration_visitor_operator_call_type_attach_alt_h type_pack_rehydration_visitor_type_pack_rehydration_visitor type_pack_rehydration_visitor_visit_type_pack Node: cxx:Method:Luau.Analysis:Analysis/src/TypeAttach.cpp:visit
Source: Analysis/src/TypeAttach.cpp (the Luau::visit(*this, TypePackId->ty)
overload dispatch over TypePackVariant). type_pack_stringifier_operator_call_to_string Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:1220:type_pack_stringifier_operator_call
Source: Analysis/src/ToString.cpp:1220-1272 (hand-ported) type_pack_stringifier_operator_call_to_string_alt_b Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:1274:type_pack_stringifier_operator_call
Source: Analysis/src/ToString.cpp:1274-1286 (hand-ported) type_pack_stringifier_operator_call_to_string_alt_c Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:1288:type_pack_stringifier_operator_call
Source: Analysis/src/ToString.cpp:1288-1296 (hand-ported) type_pack_stringifier_operator_call_to_string_alt_d Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:1298:type_pack_stringifier_operator_call
Source: Analysis/src/ToString.cpp:1298-1324 (hand-ported) type_pack_stringifier_operator_call_to_string_alt_e Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:1326:type_pack_stringifier_operator_call
Source: Analysis/src/ToString.cpp:1326-1343 (hand-ported) type_pack_stringifier_operator_call_to_string_alt_f Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:1345:type_pack_stringifier_operator_call
Source: Analysis/src/ToString.cpp:1345-1348 (hand-ported) type_pack_stringifier_operator_call_to_string_alt_g Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:1350:type_pack_stringifier_operator_call
Source: Analysis/src/ToString.cpp:1350-1355 (hand-ported) type_pack_stringifier_operator_call_to_string_alt_h Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:1357:type_pack_stringifier_operator_call
Source: Analysis/src/ToString.cpp:1357-1380 (hand-ported) type_pack_stringifier_stringify_to_string Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:1187:type_pack_stringifier_stringify
Source: Analysis/src/ToString.cpp:1187-1191 (hand-ported) type_pack_stringifier_stringify_to_string_alt_b Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:1193:type_pack_stringifier_stringify
Source: Analysis/src/ToString.cpp:1193-1218 (hand-ported) type_pack_stringifier_type_pack_stringifier_to_string Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:1175:type_pack_stringifier_type_pack_stringifier
Source: Analysis/src/ToString.cpp:1175-1179 (hand-ported) type_pack_stringifier_type_pack_stringifier_to_string_alt_b Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:1181:type_pack_stringifier_type_pack_stringifier
Source: Analysis/src/ToString.cpp:1181-1184 (hand-ported) type_pack_var_operator_assign_type_pack type_pack_var_operator_assign_type_pack_alt_b type_pack_var_operator_eq type_pack_var_reassign type_pack_var_type_pack_var_type_pack type_pack_var_type_pack_var_type_pack_alt_b type_pack_var_type_pack_var_type_pack_alt_c type_pair_hash_hash_one_type_pair_hash type_pair_hash_hash_one_type_pair_hash_alt_b type_pair_hash_operator_call_type_pair_hash type_pair_hash_operator_call_type_pair_hash_alt_b type_reassign type_reduction_reentrancy_guard_type_reduction_reentrancy_guard_unifier_shared_state type_reduction_reentrancy_guard_type_reduction_reentrancy_guard_unifier_shared_state_alt_b type_reduction_reentrancy_guard_type_reduction_reentrancy_guard_unifier_shared_state_alt_c type_reduction_reentrancy_guard_type_reduction_reentrancy_guard_unifier_shared_state_alt_d type_rehydration_visitor_has_seen type_rehydration_visitor_operator_call_type_attach type_rehydration_visitor_operator_call_type_attach_alt_b type_rehydration_visitor_operator_call_type_attach_alt_c type_rehydration_visitor_operator_call_type_attach_alt_d type_rehydration_visitor_operator_call_type_attach_alt_e type_rehydration_visitor_operator_call_type_attach_alt_f type_rehydration_visitor_operator_call_type_attach_alt_g type_rehydration_visitor_operator_call_type_attach_alt_h type_rehydration_visitor_operator_call_type_attach_alt_i type_rehydration_visitor_operator_call_type_attach_alt_j type_rehydration_visitor_operator_call_type_attach_alt_k type_rehydration_visitor_operator_call_type_attach_alt_l type_rehydration_visitor_operator_call_type_attach_alt_m type_rehydration_visitor_operator_call_type_attach_alt_n type_rehydration_visitor_operator_call_type_attach_alt_o type_rehydration_visitor_operator_call_type_attach_alt_p type_rehydration_visitor_operator_call_type_attach_alt_q type_rehydration_visitor_operator_call_type_attach_alt_r type_rehydration_visitor_operator_call_type_attach_alt_s type_rehydration_visitor_operator_call_type_attach_alt_t type_rehydration_visitor_operator_call_type_attach_alt_u type_rehydration_visitor_rehydrate type_rehydration_visitor_type_rehydration_visitor type_rehydration_visitor_visit_type Node: cxx:Method:Luau.Analysis:Analysis/src/TypeAttach.cpp:visit
Source: Analysis/src/TypeAttach.cpp (the Luau::visit(*this, TypeId->ty)
overload dispatch over TypeVariant, faithful to AstType* Luau::visit). type_remover_process type_searcher_flip type_searcher_type_searcher_constraint_solver type_searcher_type_searcher_constraint_solver_alt_b type_searcher_visit_constraint_solver type_searcher_visit_constraint_solver_alt_b bool TypeSearcher::visit(TypeId ty, const FunctionType& ft) override
(Analysis/src/ConstraintSolver.cpp:837-846, hand-ported faithfully).type_searcher_visit_constraint_solver_alt_c type_simplifier_basic_intersect type_simplifier_basic_intersect_with_falsy type_simplifier_basic_intersect_with_truthy type_simplifier_intersect type_simplifier_intersect_from_parts type_simplifier_intersect_intersection_with_type type_simplifier_intersect_negated_union type_simplifier_intersect_negations type_simplifier_intersect_one type_simplifier_intersect_property Faithful port of TypeSimplifier::intersectProperty (Simplify.cpp:1790-1827). type_simplifier_intersect_type_with_negation type_simplifier_intersect_union_with_type type_simplifier_intersect_unions type_simplifier_intersect_with_simple_discriminant_simplify type_simplifier_intersect_with_simple_discriminant_simplify_alt_b type_simplifier_mk_negation type_simplifier_simplify_simplify type_simplifier_simplify_simplify_alt_b type_simplifier_subtract_one type_simplifier_union type_stringifier_emit_key type_stringifier_new_stringify type_stringifier_operator_call_to_string Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:502:type_stringifier_operator_call
Source: Analysis/src/ToString.cpp:502-540 (hand-ported) type_stringifier_operator_call_to_string_alt_b type_stringifier_operator_call_to_string_alt_c Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:547:type_stringifier_operator_call
Source: Analysis/src/ToString.cpp:547-568 (hand-ported) type_stringifier_operator_call_to_string_alt_d Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:571:type_stringifier_operator_call
Source: Analysis/src/ToString.cpp:571-576 (hand-ported) type_stringifier_operator_call_to_string_alt_e Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:578:type_stringifier_operator_call
Source: Analysis/src/ToString.cpp:578-583 (hand-ported) type_stringifier_operator_call_to_string_alt_f Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:585:type_stringifier_operator_call
Source: Analysis/src/ToString.cpp:585-623 (hand-ported) type_stringifier_operator_call_to_string_alt_g type_stringifier_operator_call_to_string_alt_h Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:643:type_stringifier_operator_call
Source: Analysis/src/ToString.cpp:643-710 (hand-ported) type_stringifier_operator_call_to_string_alt_i Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:712:type_stringifier_operator_call
Source: Analysis/src/ToString.cpp:712-853 (hand-ported) type_stringifier_operator_call_to_string_alt_j Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:855:type_stringifier_operator_call
Source: Analysis/src/ToString.cpp:855-870 (hand-ported) type_stringifier_operator_call_to_string_alt_k type_stringifier_operator_call_to_string_alt_l Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:877:type_stringifier_operator_call
Source: Analysis/src/ToString.cpp:877-880 (hand-ported) type_stringifier_operator_call_to_string_alt_m Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:882:type_stringifier_operator_call
Source: Analysis/src/ToString.cpp:882-885 (hand-ported) type_stringifier_operator_call_to_string_alt_n Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:887:type_stringifier_operator_call
Source: Analysis/src/ToString.cpp:887-997 (hand-ported) type_stringifier_operator_call_to_string_alt_o Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:999:type_stringifier_operator_call
Source: Analysis/src/ToString.cpp:999-1079 (hand-ported) type_stringifier_operator_call_to_string_alt_p type_stringifier_operator_call_to_string_alt_q type_stringifier_operator_call_to_string_alt_r Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:1108:type_stringifier_operator_call
Source: Analysis/src/ToString.cpp:1108-1111 (hand-ported) type_stringifier_operator_call_to_string_alt_s Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:1113:type_stringifier_operator_call
Source: Analysis/src/ToString.cpp:1113-1116 (hand-ported) type_stringifier_operator_call_to_string_alt_t Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:1118:type_stringifier_operator_call
Source: Analysis/src/ToString.cpp:1118-1133 (hand-ported) type_stringifier_operator_call_to_string_alt_u Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:1135:type_stringifier_operator_call
Source: Analysis/src/ToString.cpp:1135-1164 (hand-ported) type_stringifier_stringify_to_string Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:375:type_stringifier_stringify
Source: Analysis/src/ToString.cpp:375-400 (hand-ported) type_stringifier_stringify_to_string_alt_b type_stringifier_stringify_to_string_alt_c Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:454:type_stringifier_stringify
Source: Analysis/src/ToString.cpp:454-500 (hand-ported) type_stringifier_stringify_to_string_alt_d Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:1385:type_stringifier_stringify
Source: Analysis/src/ToString.cpp:1385-1389 (hand-ported) type_stringifier_stringify_to_string_alt_e Node: cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:1391:type_stringifier_stringify
Source: Analysis/src/ToString.cpp:1391-1395 (hand-ported) type_stringifier_type_stringifier type_type_type type_type_type_alt_b type_type_type_alt_c type_type_type_alt_d type_type_type_alt_e type_visitor_type_visitor Node: cxx:Method:Luau.Analysis:Analysis/include/Luau/VisitType.h:515:type_visitor_type_visitor
Source: Analysis/include/Luau/VisitType.h:515-518 (hand-ported) typed_allocator_allocate typed_allocator_append_block typed_allocator_clear typed_allocator_contains typed_allocator_empty typed_allocator_free typed_allocator_freeze typed_allocator_is_frozen typed_allocator_operator_assign_typed_allocator typed_allocator_operator_assign_typed_allocator_alt_b typed_allocator_size typed_allocator_typed_allocator_typed_allocator typed_allocator_typed_allocator_typed_allocator_alt_b typed_allocator_typed_allocator_typed_allocator_alt_c typed_allocator_typed_allocator_typed_allocator_alt_d typed_allocator_unfreeze types_are_unrelated_operator_eq unapplied_type_function_operator_eq unexpected_array_like_table_item_operator_eq unexpected_type_in_subtyping_operator_eq unexpected_type_pack_in_subtyping_operator_eq unifiable_bound_type_id_emplace_type_bound_type unifiable_bound_type_pack_id_emplace_type_pack_bound_type_pack Node: cxx:Function:Luau.Analysis:Analysis/src/TypePack.cpp:461:emplaceTypePack
Source: Analysis/src/TypePack.cpp (TypePack.cpp:461-466, hand-ported) unification_too_complex_operator_eq unifier_2_fresh_type unifier_2_fresh_type_pack unifier_2_instantiate_with_bound_types unifier_2_mk_intersection unifier_2_mk_union unifier_2_occurs_check Source: Analysis/src/Unifier2.cpp:825-871 — Unifier2::occursCheck(DenseHashSet<TypeId>&, TypeId, TypeId). unifier_2_occurs_check_deprecated Source: Analysis/src/Unifier2.cpp:873-906 —
Unifier2::occursCheck_DEPRECATED(DenseHashSet<TypePackId>&, TypePackId, TypePackId). unifier_2_unifier_2_unifier_2 unifier_2_unifier_2_unifier_2_alt_b unifier_2_unify_free_with_type Source: Analysis/src/Unifier2.cpp:316-405 — Unifier2::unifyFreeWithType. unifier_2_unify_unifier_2 unifier_2_unify_unifier_2_alt_b Node: cxx:Method:Luau.Analysis:Analysis/src/Unifier2.cpp:143:unifier_2_unify
Source: Analysis/src/Unifier2.cpp:143-147 — Unifier2::unify(TypePackId, TypePackId). unifier_2_unify_unifier_2_alt_c Source: Analysis/src/Unifier2.cpp:149-302 — Unifier2::unify_(TypeId, TypeId),
the core of new-solver type unification. unifier_2_unify_unifier_2_alt_d Source: Analysis/src/Unifier2.cpp:407-438 — Unifier2::unify_(TypeId, const FunctionType*). unifier_2_unify_unifier_2_alt_e unifier_2_unify_unifier_2_alt_f unifier_2_unify_unifier_2_alt_g unifier_2_unify_unifier_2_alt_h unifier_2_unify_unifier_2_alt_i unifier_2_unify_unifier_2_alt_j unifier_2_unify_unifier_2_alt_k unifier_2_unify_unifier_2_alt_l unifier_2_unify_unifier_2_alt_m unifier_2_unify_unifier_2_alt_n unifier_2_unify_unifier_2_alt_o unifier_2_unify_unifier_2_alt_p unifier_2_unify_unifier_2_alt_q Source: Analysis/src/Unifier2.cpp:669-807 — Unifier2::unify_(TypePackId, TypePackId),
the type-pack core of new-solver unification. unifier_cache_result unifier_can_cache_result unifier_can_unify_unifier unifier_can_unify_unifier_alt_b unifier_check_child_unifier_type_mismatch_unifier unifier_check_child_unifier_type_mismatch_unifier_alt_b unifier_combine_logs_into_union unifier_deeply_optional unifier_find_table_property_respecting_meta unifier_ice_unifier unifier_ice_unifier_alt_b unifier_make_child_unifier unifier_mismatch_context unifier_occurs_check_unifier Source: Analysis/src/Unifier.cpp (Unifier::occursCheck(TypeId,…), L2606-2642) unifier_occurs_check_unifier_alt_b Source: Analysis/src/Unifier.cpp (Unifier::occursCheck(DenseHashSet&,…), L2644-2687) unifier_occurs_check_unifier_alt_c unifier_occurs_check_unifier_alt_d unifier_reflexive_equal Reflexive structural-equality fast-path for the unifier. unifier_report_error_unifier unifier_report_error_unifier_alt_b unifier_shared_state_set_recursion_limit unifier_shared_state_unifier_shared_state @interface-stub unifier_try_apply_overloaded_function Source: Analysis/src/Unifier.cpp (Unifier::tryApplyOverloadedFunction, L1161-1224) unifier_try_unify_functions unifier_try_unify_intersection_with_type unifier_try_unify_negations unifier_try_unify_normalized_types Source: Analysis/src/Unifier.cpp (Unifier::tryUnifyNormalizedTypes, L1006-1159) unifier_try_unify_primitives unifier_try_unify_scalar_shape Source: Analysis/src/Unifier.cpp (Unifier::tryUnifyScalarShape, L2151-2224) unifier_try_unify_singletons unifier_try_unify_tables Source: Analysis/src/Unifier.cpp (Unifier::tryUnifyTables, L1829-2149) unifier_try_unify_type_with_intersection unifier_try_unify_type_with_union unifier_try_unify_unifier Source: Analysis/src/Unifier.cpp (Unifier::tryUnify(TypeId,…), L385-390) unifier_try_unify_unifier_alt_b Source: Analysis/src/Unifier.cpp (Unifier::tryUnify_(TypeId,…), L404-670) unifier_try_unify_unifier_alt_c Source: Analysis/src/Unifier.cpp (Unifier::tryUnify(TypePackId,…), L1394-1399) unifier_try_unify_unifier_alt_d Source: Analysis/src/Unifier.cpp (Unifier::tryUnify_(TypePackId,…), L1405-1634) unifier_try_unify_union_with_type Source: Analysis/src/Unifier.cpp (Unifier::tryUnifyUnionWithType, L672-715) unifier_try_unify_variadics Source: Analysis/src/Unifier.cpp (Unifier::tryUnifyVariadics, L2432-2493) unifier_try_unify_with_any_unifier unifier_try_unify_with_any_unifier_alt_b unifier_try_unify_with_extern_type unifier_try_unify_with_metatable unifier_unifier uninhabited_type_function_operator_eq uninhabited_type_pack_function_operator_eq union_builder_add union_builder_build union_builder_reserve union_builder_size union_builder_union_builder unknown_prop_but_found_like_prop_operator_eq unknown_property_operator_eq unknown_require_operator_eq unknown_symbol_operator_eq unscoped_generic_finder_unscoped_generic_finder unscoped_generic_finder_visit_type_function UnscopedGenericFinder::visit(TypeId) (TypeFunction.cpp:148-152).unscoped_generic_finder_visit_type_function_alt_b UnscopedGenericFinder::visit(TypePackId) (TypeFunction.cpp:154-158).unscoped_generic_finder_visit_type_function_alt_c UnscopedGenericFinder::visit(TypeId, const GenericType&) (TypeFunction.cpp:160-166).unscoped_generic_finder_visit_type_function_alt_d UnscopedGenericFinder::visit(TypePackId, const GenericTypePack&) (TypeFunction.cpp:168-174).unscoped_generic_finder_visit_type_function_alt_e UnscopedGenericFinder visitor overrides (TypeFunction.cpp:148-197).unscoped_generic_finder_visit_type_function_alt_f unsupported_type_operator_eq unsupported_type_pack_operator_eq usage_finder_usage_finder usage_finder_visit_fragment_autocomplete usage_finder_visit_fragment_autocomplete_alt_b usage_finder_visit_fragment_autocomplete_alt_c usage_finder_visit_fragment_autocomplete_alt_d usage_finder_visit_fragment_autocomplete_alt_e usage_finder_visit_fragment_autocomplete_alt_f usage_finder_visit_fragment_autocomplete_alt_g usage_finder_visit_fragment_autocomplete_alt_h user_cancel_error_user_cancel_error user_defined_type_function_error_operator_eq warning_comparator_compare_linter warning_comparator_compare_linter_alt_b warning_comparator_operator_call weird_iter_advance weird_iter_can_grow weird_iter_good weird_iter_grow weird_iter_operator_deref weird_iter_push_type weird_iter_tail weird_iter_weird_iter_unifier weird_iter_weird_iter_unifier_alt_b where_clause_needed_operator_eq widen_clean_unifier widen_clean_unifier_alt_b widen_ignore_children widen_is_dirty_unifier widen_is_dirty_unifier_alt_b widen_operator_call_unifier widen_operator_call_unifier_alt_b widen_widen with_predicate_with_predicate_type with_predicate_with_predicate_type_alt_b with_predicate_with_predicate_type_alt_c