src/tools/miri/priroda/tests/ui/source_step_changes_line.rs

// Verifies source-level stepping advances until the displayed source location
// changes.
// This may look trivial, but a bunch of code runs in std before
// `main` is called, so we are ensuring that that all works.
fn main() {}