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 | /// FFI: profile a `.ixe` out of circuit and write a `.ixprof` sidecar. |
| 3015 | #[unsafe(no_mangle)] |
| 3016 | pub extern "C" fn rs_kernel_profile_anon( |
| 3017 | env_path: LeanString<LeanBorrowed<'_>>, |
| 3018 | out_path: LeanString<LeanBorrowed<'_>>, |
| 3019 | isolate: LeanBool<LeanBorrowed<'_>>, |
| 3020 | quiet: LeanBool<LeanBorrowed<'_>>, |
| 3021 | ) -> LeanIOResult<LeanOwned> { |
| 3022 | match profile_anon_ixe( |
| 3023 | &env_path.to_string(), |
no test coverage detected