Function rustc_check_artifacts 

pub fn rustc_check_artifacts(source: &str) -> Result<CheckArtifacts, ParseError>

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.