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).