coverage/unreachable/variant/main.rs, 15, FULL
coverage/unreachable/variant/main.rs, 16, NONE
coverage/unreachable/variant/main.rs, 17, NONE
coverage/unreachable/variant/main.rs, 18, FULL
coverage/unreachable/variant/main.rs, 19, NONE
coverage/unreachable/variant/main.rs, 21, NONE
coverage/unreachable/variant/main.rs, 23, FULL
coverage/unreachable/variant/main.rs, 27, FULL
coverage/unreachable/variant/main.rs, 28, FULL
coverage/unreachable/variant/main.rs, 29, FULL