coverage/unreachable/compare/main.rs, 6, PARTIAL
coverage/unreachable/compare/main.rs, 7, FULL
coverage/unreachable/compare/main.rs, 11, FULL
coverage/unreachable/compare/main.rs, 12, FULL
coverage/unreachable/compare/main.rs, 13, FULL
coverage/unreachable/compare/main.rs, 14, FULL
coverage/unreachable/compare/main.rs, 16, FULL