// { dg-additional-options "-fno-rust-debug" }

// Make sure we don't see any 'note's:
// { dg-bogus {note: } "" { target *-*-* } 0 }

fn main() {
}