coverage/unreachable/return/main.rs, 5, FULL
coverage/unreachable/return/main.rs, 6, FULL
coverage/unreachable/return/main.rs, 9, NONE
coverage/unreachable/return/main.rs, 10, PARTIAL
coverage/unreachable/return/main.rs, 14, FULL
coverage/unreachable/return/main.rs, 15, FULL
coverage/unreachable/return/main.rs, 16, FULL
coverage/unreachable/return/main.rs, 17, FULL