coverage/unreachable/tutorial_unreachable/main.rs, 6, FULL
coverage/unreachable/tutorial_unreachable/main.rs, 7, FULL
coverage/unreachable/tutorial_unreachable/main.rs, 8, FULL
coverage/unreachable/tutorial_unreachable/main.rs, 9, NONE
coverage/unreachable/tutorial_unreachable/main.rs, 11, FULL