Skip to main content

luaur_analysis/records/
constraint_generation_log.rs

1use crate::records::annotation_types_at_location::AnnotationTypesAtLocation;
2use crate::records::error_snapshot::ErrorSnapshot;
3use crate::records::expr_types_at_location::ExprTypesAtLocation;
4
5#[derive(Debug, Clone, Default)]
6pub struct ConstraintGenerationLog {
7    pub source: alloc::string::String,
8    pub errors: alloc::vec::Vec<ErrorSnapshot>,
9    pub expr_type_locations: alloc::vec::Vec<ExprTypesAtLocation>,
10    pub annotation_type_locations: alloc::vec::Vec<AnnotationTypesAtLocation>,
11}