pub fn refuse_unqualified_annotated_launch(
config: &Config,
) -> Result<(), UnqualifiedAnnotatedReplay>Expand description
The library launches’ backstop for the same requirements, on the
prepared configuration a backend is about to run: a library caller passes
no command line, and its configuration reaches here unqualified. An
annotated configuration must meet annotated_priority_replay_unqualified
on the capabilities it carries. Its record is not reread here: Detcore
refuses a record whose checkpoints disagree with the flag before any
thread starts. Nothing is changed or forced.