coverage/unreachable/early-return/main.rs, 5, PARTIAL
coverage/unreachable/early-return/main.rs, 6, FULL
coverage/unreachable/early-return/main.rs, 7, FULL
coverage/unreachable/early-return/main.rs, 10, NONE
coverage/unreachable/early-return/main.rs, 11, PARTIAL
coverage/unreachable/early-return/main.rs, 15, FULL
coverage/unreachable/early-return/main.rs, 16, FULL
coverage/unreachable/early-return/main.rs, 17, FULL
coverage/unreachable/early-return/main.rs, 18, FULL
coverage/unreachable/early-return/main.rs, 19, FULL