Module borrow_analysis

Module borrow_analysis 

Source
Expand description

Borrow checker integration and analysis

This module implements borrow tracking features from ComplexTypeForRust.md:

  • Track borrow and mutable borrow lifetimes
  • Runtime borrow checking integration
  • Borrow conflict detection

Structs§

BorrowAnalyzer
Borrow analysis system
BorrowConflict
Borrow conflict information
BorrowEvent
Borrow event for tracking
BorrowId
Unique identifier for a borrow
BorrowInfo
Information about a borrow
BorrowPattern
Detected borrow pattern
BorrowPatternAnalysis
Borrow pattern analysis
BorrowStatistics
Borrow statistics

Enums§

BorrowEventType
Types of borrow events
BorrowPatternType
Types of borrow patterns
BorrowType
Types of borrows
ConflictType
Types of borrow conflicts
PatternSeverity
Pattern severity levels

Functions§

get_global_borrow_analyzer
Get the global borrow analyzer instance