Skip to main content

run_to_outcome_located

Function run_to_outcome_located 

Source
pub fn run_to_outcome_located(
    stmts: &[Stmt<'_>],
    interner: &Interner,
    types: Option<&TypeRegistry>,
    policies: Option<&PolicyRegistry>,
) -> (String, Option<String>, Option<u32>)
Expand description

run_to_outcome, plus the failure-site id in force at the point an Err propagated from (Wave 3: “runtime failures carry a location”) — None on success, or when the failure happened outside any Stmt::Site marker (## Main/## Test’s own top-level statements carry none). compile.rs::locate_runtime_failure is the one place this id becomes a rendered file:line:col.