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

fn main() {
}