// check-pass
// needs-profiler-support
// revisions: default y yes on true all
// [default] compile-flags: -Cinstrument-coverage
// [y] compile-flags: -Cinstrument-coverage=y
// [yes] compile-flags: -Cinstrument-coverage=yes
// [on] compile-flags: -Cinstrument-coverage=on
// [true] compile-flags: -Cinstrument-coverage=true
// [all] compile-flags: -Cinstrument-coverage=all

fn main() {}