Gap analysis — c1 in decision #448

scry-mcdc · library/alloc/src/vec/spec_from_iter_nested.rs:36 · branch 2998

Status: DEAD

Condition is dead: the runtime never reached this branch under any test row. The compiler may have folded the predicate, or the call-path is unreachable from the harness.

Action: confirm by reading the source. If the branch is genuinely unreachable, the dead status is the verdict. If reachable, expand the test corpus to drive code through this branch.