third_party/rust_crates/vendor/proptest-1.7.0/tests/pass/hygiene.rs

fn main() {}

struct MyTestArgs {
    something_else: String,
}

#[proptest::property_test]
fn my_test(x: i32) {
    assert_eq!(x, x);
}