Function precheck_rustc_errors 

fn precheck_rustc_errors(tcx: TyCtxt<'_>) -> bool

Run a couple of rustc queries that don’t involve MIR (so that they don’t steal it). Returns whether rustc reported errors. This lets us avoid running Charon translation on crates rustc already rejects.