src/tests/coverage/rust_coverage_test.rs

// Copyright 2022 The Fuchsia Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

fn main() {
    let mut num = 9;
    while num >= 10 {
        num -= 1;
    }
}