//@ check-pass
#[diagnostic::non_existing_attribute]
//~^WARN unknown diagnostic attribute
pub trait Bar {
}
#[diagnostic::non_existing_attribute(with_option = "foo")]
struct Foo;
fn main() {