pub fn rustc_check_artifacts(source: &str) -> Result<CheckArtifacts, ParseError>Expand description
Compile for CHECKING: the same front as compile_program_full but with
the optimizer off and mapped codegen, so every generated line ties back to
its statement span and the map stays 1:1 (the optimizer may fuse or drop
statements; a check build has no use for its output anyway).
Deliberately does NOT bail on typecheck/escape/ownership findings — the interactive pipeline already reports those; this path exists to surface what only rustc can see, and a borrow error in the generated code comes back TRANSLATED rather than pre-empted.