granite-rust/tests/run-coverage/tight_inf_loop.coverage

    1|      1|fn main() {
    2|      1|    if false {
    3|      0|        loop {}
    4|      1|    }
    5|      1|}