luaur-analysis 0.1.3

Luau type checker and type inference (Rust).
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

//! 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:
//! - declared_by: source_file Analysis/include/Luau/ConstraintGenerator.h
//! - source_includes:
//!   - includes -> source_file Ast/include/Luau/Ast.h
//!   - includes -> source_file Analysis/include/Luau/Constraint.h
//!   - includes -> source_file Analysis/include/Luau/ConstraintGraph.h
//!   - includes -> source_file Analysis/include/Luau/ConstraintSet.h
//!   - includes -> source_file Analysis/include/Luau/ControlFlow.h
//!   - includes -> source_file Analysis/include/Luau/DataFlowGraph.h
//!   - includes -> source_file Common/include/Luau/HashUtil.h
//!   - includes -> source_file Common/include/Luau/InsertionOrderedMap.h
//!   - includes -> source_file Analysis/include/Luau/Module.h
//!   - includes -> source_file Analysis/include/Luau/ModuleResolver.h
//!   - includes -> source_file Analysis/include/Luau/Polarity.h
//!   - includes -> source_file Analysis/include/Luau/Refinement.h
//!   - includes -> source_file Analysis/include/Luau/Set.h
//!   - includes -> source_file Analysis/include/Luau/Symbol.h
//!   - includes -> source_file Analysis/include/Luau/TypeFwd.h
//!   - includes -> source_file Analysis/include/Luau/TypeIds.h
//!   - includes -> source_file Analysis/include/Luau/TypeUtils.h
//! - incoming:
//!   - declares <- source_file Analysis/include/Luau/ConstraintGenerator.h
//! - outgoing:
//!   - type_ref -> type_alias TypeId (Analysis/include/Luau/TypeFwd.h)
//!   - type_ref -> record Inference (Analysis/include/Luau/ConstraintGenerator.h)
//!   - translates_to -> rust_item Inference::Inference

// Dead duplicate skeleton node: the canonical ctor is implemented elsewhere.
pub fn inference_inference() {
    unreachable!("canonical Inference::inference_type_id_refinement_id (C++ `explicit Inference(TypeId, RefinementId)`) lives in crates/luau-analysis/src/records/inference.rs; this skeleton node is unused");
}