Function with_optimized_program_scoped 

pub fn with_optimized_program_scoped<R>(
    input: &str,
    scope: Option<&ScopeInfo>,
    f: impl for<'a> FnOnce(Result<(&'a [Stmt<'a>], &'a TypeRegistry, PolicyRegistry), String>, &'a Interner) -> R,
) -> R

with_optimized_program, with the assembled project’s file scope checked on the same parsed AST before it is optimized. Project runners use this to avoid assembling and parsing the entire project a second time merely to enforce import visibility.