Build a result array of length `count` where every slot is the same compile-kind error. Used when compile/ingress/thread setup fails before per-constant checking can begin — the error arose before the kernel was consulted, so `Compile` is the honest tag.
(count: usize, msg: &str)
| 3014 | "{prefix} ... REJECTED (compile): {}", |
| 3015 | outcome.err_msg() |
| 3016 | )); |
| 3017 | } |
| 3018 | }, |
| 3019 | CheckStatus::NotFound => { |
| 3020 | // Not-found is always unexpected — the Lean side asked for a name |
| 3021 | // that compile+ingress didn't produce. Always persist. |
| 3022 | progress.persist(&format!("{prefix} ? not found")); |
| 3023 | }, |
no test coverage detected