luaur_analysis/records/and_predicate.rs
1//! Generated skeleton item. @skeleton-stub
2//! Node: `cxx:Record:Luau.Analysis:Analysis/include/Luau/Predicate.h:53:and_predicate`
3//! Source: `Analysis/include/Luau/Predicate.h`
4//! Graph edges:
5//! - declared_by: source_file Analysis/include/Luau/Predicate.h
6//! - source_includes:
7//! - includes -> source_file Ast/include/Luau/Location.h
8//! - includes -> source_file Analysis/include/Luau/LValue.h
9//! - includes -> source_file Common/include/Luau/Variant.h
10//! - includes -> source_file Analysis/include/Luau/TypeFwd.h
11//! - incoming:
12//! - declares <- source_file Analysis/include/Luau/Predicate.h
13//! - type_ref <- type_alias Predicate (Analysis/include/Luau/Predicate.h)
14//! - type_ref <- method AndPredicate::AndPredicate (Analysis/include/Luau/Predicate.h)
15//! - type_ref <- record TypeChecker (Analysis/include/Luau/TypeInfer.h)
16//! - type_ref <- method TypeChecker::checkExpr (Analysis/src/TypeInfer.cpp)
17//! - type_ref <- method TypeChecker::resolve (Analysis/src/TypeInfer.cpp)
18//! - type_ref <- method TypeChecker::resolve (Analysis/src/TypeInfer.cpp)
19//! - type_ref <- method TypeChecker::resolve (Analysis/src/TypeInfer.cpp)
20//! - outgoing:
21//! - type_ref -> method AndPredicate::AndPredicate (Analysis/include/Luau/Predicate.h)
22//! - type_ref -> type_alias PredicateVec (Analysis/include/Luau/Predicate.h)
23//! - translates_to -> rust_item AndPredicate
24
25use crate::type_aliases::predicate_vec::PredicateVec;
26
27#[derive(Debug, Clone)]
28pub struct AndPredicate {
29 pub lhs: PredicateVec,
30 pub rhs: PredicateVec,
31}