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