Skip to main content

luaur_analysis/records/
mod.rs

1pub mod ambiguous_function_call;
2pub mod and_predicate;
3pub mod annotation_types_at_location;
4pub mod any_type;
5pub mod anyification;
6pub mod anything;
7pub mod apply_mapped_generics;
8pub mod apply_type_function;
9pub mod arc_collector;
10pub mod arcs;
11pub mod are_equal_state;
12pub mod array_emitter;
13pub mod assign;
14pub mod assign_index_constraint;
15pub mod assign_prop_constraint;
16pub mod ast_array_predicate;
17pub mod ast_expr_table_finder;
18pub mod ast_json_encoder;
19pub mod autocomplete_entry;
20pub mod autocomplete_node_finder;
21pub mod autocomplete_result;
22pub mod basic_documentation;
23pub mod bidirectional_type_pusher;
24pub mod binding;
25pub mod binding_snapshot;
26pub mod block;
27pub mod block_scope;
28pub mod blocked_type;
29pub mod blocked_type_finder;
30pub mod blocked_type_in_literal_visitor;
31pub mod blocked_type_pack;
32pub mod boolean_singleton;
33pub mod bound;
34pub mod boundary_snapshot;
35pub mod build_queue_item;
36pub mod build_queue_work_state;
37pub mod built_in_type_function_error;
38pub mod builtin_type_functions;
39pub mod builtin_types;
40pub mod cannot_assign_to_never;
41pub mod cannot_call_non_function;
42pub mod cannot_check_dynamic_string_format_calls;
43pub mod cannot_compare_unrelated_types;
44pub mod cannot_extend_table;
45pub mod cannot_infer_binary_operation;
46pub mod cell;
47pub mod cfg_allocator;
48pub mod cfg_builder;
49pub mod check_result;
50pub mod checked_function_call_error;
51pub mod checked_function_incorrect_args;
52pub mod checkpoint;
53pub mod class_decl_record;
54pub mod class_user_data;
55pub mod clone_public_interface;
56pub mod clone_state;
57pub mod code_too_complex;
58pub mod collect_union_type_options;
59pub mod config_resolver;
60pub mod conjunction_control_flow_graph;
61pub mod conjunction_refinement;
62pub mod const_iterator;
63pub mod constraint;
64pub mod constraint_block;
65pub mod constraint_generation_log;
66pub mod constraint_generator;
67pub mod constraint_graph;
68pub mod constraint_list;
69pub mod constraint_set;
70pub mod constraint_snapshot;
71pub mod constraint_solver;
72pub mod constraint_solving_incomplete_error;
73pub mod constraint_step_snapshot;
74pub mod contains_any_generic_deprecated;
75pub mod contains_function_call;
76pub mod contains_generics;
77pub mod contains_refinable_type;
78pub mod control_flow_graph;
79pub mod count_mismatch;
80pub mod counter_state;
81pub mod data_flow_graph;
82pub mod data_flow_graph_builder;
83pub mod data_flow_result;
84pub mod dcr_logger;
85pub mod declare;
86pub mod def;
87pub mod def_arena;
88pub mod demoter;
89pub mod deprecated_api_used;
90pub mod dfg_scope;
91pub mod disjunction_control_flow_graph;
92pub mod disjunction_refinement;
93pub mod duplicate_generic_parameter;
94pub mod duplicate_type_definition;
95pub mod dynamic_property_lookup_on_extern_types_unsafe;
96pub mod element_result;
97pub mod eq_predicate;
98pub mod equality_constraint;
99pub mod equivalence;
100pub mod error;
101pub mod error_converter;
102pub mod error_snapshot;
103pub mod error_suppression;
104pub mod expected_type_visitor;
105pub mod explicit_function_annotation_recommended;
106pub mod expr_or_local;
107pub mod expr_printer;
108pub mod expr_types_at_location;
109pub mod extern_type;
110pub mod extra_information;
111pub mod failed_to_compile;
112pub mod field;
113pub mod file_resolver;
114pub mod find_all_union_members;
115pub mod find_cyclic_types;
116pub mod find_expr_or_local;
117pub mod find_full_ancestry;
118pub mod find_function_type_in;
119pub mod find_node;
120pub mod find_refinement_blockers;
121pub mod find_simplification_blockers;
122pub mod find_user_type_function_blockers;
123pub mod fragment_autocomplete_ancestry_result;
124pub mod fragment_autocomplete_result;
125pub mod fragment_autocomplete_status_result;
126pub mod fragment_autocomplete_type_cloner;
127pub mod fragment_context;
128pub mod fragment_parse_result;
129pub mod fragment_region;
130pub mod fragment_type_check_result;
131pub mod free_type;
132pub mod free_type_pack;
133pub mod free_type_searcher;
134pub mod freeze_type_function_types;
135pub mod frontend;
136pub mod frontend_cancellation_token;
137pub mod frontend_module_resolver;
138pub mod frontend_options;
139pub mod fuel_initializer;
140pub mod function_argument;
141pub mod function_call_constraint;
142pub mod function_capture;
143pub mod function_check_constraint;
144pub mod function_definition;
145pub mod function_documentation;
146pub mod function_does_not_take_self;
147pub mod function_exits_without_returning;
148pub mod function_graph_reduction_result;
149pub mod function_info;
150pub mod function_parameter_documentation;
151pub mod function_requires_self;
152pub mod function_signature;
153pub mod function_type;
154pub mod generalization_constraint;
155pub mod generalization_params;
156pub mod generalization_result;
157pub mod generalize_step_snapshot;
158pub mod generic_bounds;
159pub mod generic_bounds_mismatch;
160pub mod generic_counter;
161pub mod generic_error;
162pub mod generic_pack_mapping;
163pub mod generic_type;
164pub mod generic_type_count_mismatch;
165pub mod generic_type_definition;
166pub mod generic_type_definitions;
167pub mod generic_type_finder;
168pub mod generic_type_pack;
169pub mod generic_type_pack_count_mismatch;
170pub mod generic_type_pack_definition;
171pub mod generic_type_visitor;
172pub mod global_linter;
173pub mod global_linter_alt_b;
174pub mod global_linter_alt_c;
175pub mod global_linter_alt_d;
176pub mod global_name_collector;
177pub mod global_prepopulator;
178pub mod global_types;
179pub mod has_free_type;
180pub mod has_indexer_constraint;
181pub mod has_prop_constraint;
182pub mod hash_blocked_constraint_id;
183pub mod hash_bool_name_pair;
184pub mod hash_instantiation_signature;
185pub mod hash_luau_symbol;
186pub mod hash_subtype_constraint_record;
187pub mod hold_conditional_execution;
188pub mod i_fragment_autocomplete_reporter;
189pub mod identifier;
190pub mod identifier_hash;
191pub mod illegal_require;
192pub mod in_conditional_context;
193pub mod incomplete_inference;
194pub mod incorrect_generic_parameter_count;
195pub mod index;
196pub mod index_collector;
197pub mod indexer_index_collector;
198pub mod inference;
199pub mod inference_pack;
200pub mod inferred_binding;
201pub mod infinite_type_finder;
202pub mod inplace_demoter;
203pub mod instance_collector;
204pub mod instance_collector_2;
205pub mod instantiate_generics_on_non_function;
206pub mod instantiation;
207pub mod instantiation_2;
208pub mod instantiation_queuer;
209pub mod instantiation_queuer_deprecated;
210pub mod instantiation_signature;
211pub mod interior_free_types;
212pub mod internal_compiler_error;
213pub mod internal_error;
214pub mod internal_error_reporter;
215pub mod internal_type_finder;
216pub mod internal_type_function_finder;
217pub mod intersection_builder;
218pub mod intersection_type;
219pub mod invalid_name_checker;
220pub mod is_a_predicate;
221pub mod iterable_constraint;
222pub mod iterative_type_function_type_visitor;
223pub mod iterative_type_visitor;
224pub mod iterator;
225pub mod join;
226pub mod json_emitter;
227pub mod klass;
228pub mod l_value_hasher;
229pub mod lazy_type;
230pub mod lint_comparison_precedence;
231pub mod lint_context;
232pub mod lint_deprecated_api;
233pub mod lint_duplicate_condition;
234pub mod lint_duplicate_function;
235pub mod lint_duplicate_local;
236pub mod lint_for_range;
237pub mod lint_format_string;
238pub mod lint_global_local;
239pub mod lint_implicit_return;
240pub mod lint_integer_parsing;
241pub mod lint_local_hygiene;
242pub mod lint_misleading_and_or;
243pub mod lint_multi_line_statement;
244pub mod lint_redundant_native_attribute;
245pub mod lint_result;
246pub mod lint_same_line_statement;
247pub mod lint_table_literal;
248pub mod lint_table_operations;
249pub mod lint_unbalanced_assignment;
250pub mod lint_uninitialized_local;
251pub mod lint_unknown_type;
252pub mod lint_unreachable_code;
253pub mod lint_unused_function;
254pub mod load_definition_file_result;
255pub mod local_linter;
256pub mod local_linter_alt_b;
257pub mod luau_temp_thread_popper;
258pub mod magic_assert;
259pub mod magic_clone;
260pub mod magic_find;
261pub mod magic_format;
262pub mod magic_freeze;
263pub mod magic_function;
264pub mod magic_function_call_context;
265pub mod magic_function_type_check_context;
266pub mod magic_gmatch;
267pub mod magic_match;
268pub mod magic_pack;
269pub mod magic_pcall;
270pub mod magic_refinement_context;
271pub mod magic_require;
272pub mod magic_select;
273pub mod magic_set_metatable;
274pub mod mapped_generic_environment;
275pub mod mapped_generic_frame;
276pub mod metatable_type;
277pub mod missing_properties;
278pub mod missing_union_property;
279pub mod module;
280pub mod module_has_cyclic_dependency;
281pub mod module_info;
282pub mod module_resolver;
283pub mod multiple_nonviable_overloads;
284pub mod name_constraint;
285pub mod native_stack_guard;
286pub mod nearest_likely_block_finder;
287pub mod nearest_statement_finder;
288pub mod negation_control_flow_graph;
289pub mod negation_refinement;
290pub mod negation_type;
291pub mod negation_type_finder;
292pub mod never_type;
293pub mod no_refine_type;
294pub mod node;
295pub mod non_exceptional_recursion_limiter;
296pub mod non_strict_context;
297pub mod non_strict_function_definition_error;
298pub mod non_strict_type_checker;
299pub mod normalization_too_complex;
300pub mod normalized_extern_type;
301pub mod normalized_function_type;
302pub mod normalized_string_type;
303pub mod normalized_type;
304pub mod normalizer;
305pub mod normalizer_hit_limits;
306pub mod not_a_table;
307pub mod not_bindable;
308pub mod not_null;
309pub mod not_predicate;
310pub mod nothing;
311pub mod null_file_resolver;
312pub mod null_module_resolver;
313pub mod obj;
314pub mod object_emitter;
315pub mod occurs_check_failed;
316pub mod only_tables_can_have_methods;
317pub mod optional_value_access;
318pub mod or_predicate;
319pub mod ordered_map;
320pub mod overload_error_entry;
321pub mod overload_resolution;
322pub mod overload_resolver;
323pub mod overloaded_function_documentation;
324pub mod pack_slice;
325pub mod pack_subtype_constraint;
326pub mod pack_where_clause_needed;
327pub mod path;
328pub mod path_builder;
329pub mod path_hash;
330pub mod pending_expansion_type;
331pub mod pending_type;
332pub mod pending_type_pack;
333pub mod phi;
334pub mod primitive_type;
335pub mod primitive_type_constraint;
336pub mod promote_type_levels;
337pub mod property_access_violation;
338pub mod property_type;
339pub mod property_type_path;
340pub mod property_types;
341pub mod proposition_control_flow_graph;
342pub mod proposition_refinement;
343pub mod push_function_type_constraint;
344pub mod push_scope;
345pub mod push_type_constraint;
346pub mod push_type_result;
347pub mod quantifier;
348pub mod reasonings;
349pub mod rec;
350pub mod recursion_counter;
351pub mod recursion_limit_exception;
352pub mod recursion_limiter;
353pub mod recursive_restraint_violation;
354pub mod reduce_constraint;
355pub mod reduce_pack_constraint;
356pub mod reduction;
357pub mod reference_count_initializer;
358pub mod refine;
359pub mod refine_type_scrubber;
360pub mod refinement_arena_control_flow_graph;
361pub mod refinement_arena_refinement;
362pub mod refinement_key;
363pub mod refinement_key_arena;
364pub mod refinement_partition;
365pub mod replace_generics;
366pub mod replacer;
367pub mod replacer_deprecated;
368pub mod require_alias;
369pub mod require_cycle;
370pub mod require_node;
371pub mod require_suggester;
372pub mod require_suggestion;
373pub mod require_trace_result;
374pub mod require_tracer;
375pub mod reserved_identifier;
376pub mod resetter;
377pub mod result;
378pub mod runtime_error;
379pub mod scope;
380pub mod scope_snapshot;
381pub mod scoped_assign;
382pub mod scoped_exit;
383pub mod selected_overload;
384pub mod serialized_function_scope;
385pub mod serialized_generic;
386pub mod set;
387pub mod simplify_constraint;
388pub mod simplify_result;
389pub mod singleton_type;
390pub mod skip_cache_for_type;
391pub mod source_code;
392pub mod source_module;
393pub mod source_node;
394pub mod stack_pusher_non_strict_type_checker;
395pub mod stack_pusher_type_checker_2;
396pub mod state_dot;
397pub mod statement;
398pub mod stats;
399pub mod std_equal_to_const_luau_type_ids;
400pub mod std_equal_to_luau_type_ids;
401pub mod std_hash_const_luau_type_ids;
402pub mod std_hash_luau_type_ids;
403pub mod string_singleton;
404pub mod stringifier_state;
405pub mod substitution;
406pub mod subtype_constraint;
407pub mod subtype_constraint_record;
408pub mod subtyping;
409pub mod subtyping_environment;
410pub mod subtyping_reasoning;
411pub mod subtyping_reasoning_hash;
412pub mod subtyping_result;
413pub mod subtyping_unifier;
414pub mod swapped_generic_type_parameter;
415pub mod sym_def;
416pub mod symbol;
417pub mod syntax_error;
418pub mod table_documentation;
419pub mod table_indexer;
420pub mod table_prop_lookup_result;
421pub mod table_type;
422pub mod tarjan;
423pub mod tarjan_node;
424pub mod tarjan_worklist_vertex;
425pub mod time_limit_error;
426pub mod to_dot_options;
427pub mod to_string_name_map;
428pub mod to_string_options;
429pub mod to_string_result;
430pub mod to_string_span;
431pub mod traversal_state;
432pub mod truthy_predicate;
433pub mod try_pair;
434pub mod txn_log;
435pub mod r#type;
436pub mod type_alias_expansion_constraint;
437pub mod type_arena;
438pub mod type_attacher;
439pub mod type_binding_snapshot;
440pub mod type_cacher;
441pub mod type_check_limits;
442pub mod type_check_log;
443pub mod type_checker;
444pub mod type_checker_2;
445pub mod type_cloner;
446pub mod type_error;
447pub mod type_error_summary;
448pub mod type_error_to_string_options;
449pub mod type_fun;
450pub mod type_function;
451pub mod type_function_any_type;
452pub mod type_function_boolean_singleton;
453pub mod type_function_cloner;
454pub mod type_function_context;
455pub mod type_function_deserializer;
456pub mod type_function_error;
457pub mod type_function_error_converter;
458pub mod type_function_extern_type;
459pub mod type_function_finder;
460pub mod type_function_function_type;
461pub mod type_function_generic_type;
462pub mod type_function_generic_type_pack;
463pub mod type_function_inference_result;
464pub mod type_function_instance_type;
465pub mod type_function_instance_type_pack;
466pub mod type_function_intersection_type;
467pub mod type_function_missing;
468pub mod type_function_negation_type;
469pub mod type_function_never_type;
470pub mod type_function_primitive_type;
471pub mod type_function_property;
472pub mod type_function_reducer;
473pub mod type_function_reduction_guess_result;
474pub mod type_function_reduction_guesser;
475pub mod type_function_reduction_result;
476pub mod type_function_runtime;
477pub mod type_function_runtime_builder_state;
478pub mod type_function_serializer;
479pub mod type_function_singleton_type;
480pub mod type_function_string_singleton;
481pub mod type_function_table_indexer;
482pub mod type_function_table_type;
483pub mod type_function_type;
484pub mod type_function_type_pack;
485pub mod type_function_type_pack_var;
486pub mod type_function_union_type;
487pub mod type_function_unknown_type;
488pub mod type_function_variadic_type_pack;
489pub mod type_guard;
490pub mod type_guard_predicate;
491pub mod type_id_pair_hash;
492pub mod type_ids;
493pub mod type_instantiation_constraint;
494pub mod type_instantiation_count_mismatch;
495pub mod type_iterator;
496pub mod type_level;
497pub mod type_mismatch;
498pub mod type_once_visitor;
499pub mod type_pack;
500pub mod type_pack_function;
501pub mod type_pack_iterator;
502pub mod type_pack_mismatch;
503pub mod type_pack_rehydration_visitor;
504pub mod type_pack_stringifier;
505pub mod type_pack_var;
506pub mod type_pair_hash;
507pub mod type_reduction_reentrancy_guard;
508pub mod type_rehydration_options;
509pub mod type_rehydration_visitor;
510pub mod type_remover;
511pub mod type_searcher;
512pub mod type_simplifier;
513pub mod type_solve_log;
514pub mod type_stringifier;
515pub mod type_visitor;
516pub mod typed_allocator;
517pub mod types_are_unrelated;
518pub mod unapplied_type_function;
519pub mod unblocked_types;
520pub mod unexpected_array_like_table_item;
521pub mod unexpected_type_in_subtyping;
522pub mod unexpected_type_pack_in_subtyping;
523pub mod unifiable;
524pub mod unification_too_complex;
525pub mod unifier;
526pub mod unifier_2;
527pub mod unifier_counters;
528pub mod unifier_options;
529pub mod unifier_shared_state;
530pub mod uninhabited_type_function;
531pub mod uninhabited_type_pack_function;
532pub mod union_builder;
533pub mod union_type;
534pub mod unknown_prop_but_found_like_prop;
535pub mod unknown_property;
536pub mod unknown_require;
537pub mod unknown_symbol;
538pub mod unknown_type;
539pub mod unmapped;
540pub mod unpack_constraint;
541pub mod unscoped_generic_finder;
542pub mod unsupported_type;
543pub mod unsupported_type_pack;
544pub mod usage_finder;
545pub mod user_cancel_error;
546pub mod user_defined_function_data;
547pub mod user_defined_type_function_error;
548pub mod variadic;
549pub mod variadic_type_pack;
550pub mod variant;
551pub mod visitor;
552pub mod warning_comparator;
553pub mod weird_iter;
554pub mod where_clause_needed;
555pub mod widen;
556pub mod with_predicate;
557pub mod work_item_iterative_type_function_type_visitor;
558pub mod work_item_iterative_type_visitor;
559
560pub mod ast_array {
561    pub use luaur_ast::records::ast_array::*;
562}
563pub mod ast_attr {
564    pub use luaur_ast::records::ast_attr::*;
565}
566pub mod ast_expr {
567    pub use luaur_ast::records::ast_expr::*;
568}
569pub mod ast_expr_binary {
570    pub use luaur_ast::records::ast_expr_binary::*;
571}
572pub mod ast_expr_call {
573    pub use luaur_ast::records::ast_expr_call::*;
574}
575pub mod ast_name {
576    pub use luaur_ast::records::ast_name::*;
577}
578pub mod ast_node {
579    pub use luaur_ast::records::ast_node::*;
580}
581pub mod ast_stat {
582    pub use luaur_ast::records::ast_stat::*;
583}
584pub mod ast_stat_block {
585    pub use luaur_ast::records::ast_stat_block::*;
586}
587pub mod ast_stat_repeat {
588    pub use luaur_ast::records::ast_stat_repeat::*;
589}
590pub mod ast_type {
591    pub use luaur_ast::records::ast_type::*;
592}
593pub mod ast_type_pack {
594    pub use luaur_ast::records::ast_type_pack::*;
595}
596pub mod cst_node {
597    pub use luaur_ast::records::cst_node::*;
598}
599pub mod cst_stat_local {
600    pub use luaur_ast::records::cst_stat_local::*;
601}
602pub mod location {
603    pub use luaur_ast::records::location::*;
604}
605pub mod position {
606    pub use luaur_ast::records::position::*;
607}
608pub mod bound_type {
609    pub use crate::type_aliases::bound_type::*;
610}
611pub mod constraint_vertex {
612    pub use crate::type_aliases::constraint_vertex::*;
613}
614pub mod constraint_v {
615    pub use crate::type_aliases::constraint_v::*;
616}
617pub mod dense_hash_map {
618    pub use luaur_common::records::dense_hash_map::*;
619}
620pub mod dense_hash_set {
621    pub use luaur_common::records::dense_hash_set::*;
622}
623pub mod error_type {
624    pub use crate::type_aliases::error_type::*;
625}
626pub mod error_type_pack {
627    pub use crate::type_aliases::error_type_pack::*;
628}
629pub mod lua_l_reg {
630    pub use luaur_vm::records::lua_l_reg::*;
631}
632pub mod table_state {
633    pub use crate::enums::table_state::*;
634}
635pub mod type_error_data {
636    pub use crate::type_aliases::type_error_data::*;
637}
638pub mod type_function_instance_state {
639    pub use crate::enums::type_function_instance_state::*;
640}
641pub mod bytecode_builder {
642    pub use luaur_bytecode::records::bytecode_builder::*;
643}
644pub mod constant {
645    pub use luaur_bytecode::records::constant::*;
646}
647pub mod constant_key {
648    pub use luaur_bytecode::records::constant_key::*;
649}
650pub mod string_ref {
651    pub use luaur_bytecode::records::string_ref::*;
652}
653pub mod unknown_symbol_alt_b {
654    pub use crate::records::unknown_symbol::UnknownSymbol_Context;
655}
656pub mod unknown_symbol_alt_c {
657    pub use crate::records::unknown_symbol::UnknownSymbol_Context;
658}
659pub mod unknown_symbol_alt_d {
660    pub use crate::records::unknown_symbol::UnknownSymbol_Context;
661}
662pub mod fragment_type_check_status {
663    pub use crate::enums::fragment_type_check_status::*;
664}
665pub mod type_variant {
666    pub use crate::type_aliases::type_variant::*;
667}
668pub mod type_or_pack {
669    pub use crate::type_aliases::type_or_pack::*;
670}
671pub mod type_pack_variant {
672    pub use crate::type_aliases::type_pack_variant::*;
673}
674pub mod singleton_variant {
675    pub use crate::type_aliases::singleton_variant::*;
676}
677pub mod table_shape {
678    pub use luaur_compiler::records::table_shape::*;
679}
680pub mod mode {
681    pub use luaur_ast::enums::mode::*;
682}