Skip to main content

extract_table_accesses_bounded

Function extract_table_accesses_bounded 

Source
pub fn extract_table_accesses_bounded(
    stmts: &[Statement],
) -> (Vec<TableAccess>, RecursionOutcome)
Expand description

Depth-bounded variant of extract_table_accesses. Returns the extracted accesses plus a [RecursionOutcome] recording whether a nested body was abandoned at the recursion-depth cap. The caller must emit an honest typed diagnostic when outcome.limit_hit (R13 — never silently truncate).