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.