tests/ui/diagnostic_namespace/on_unimplemented/report_warning_on_duplicated_options.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

#![feature(diagnostic_namespace)]

#[diagnostic::on_unimplemented(
    message = "first message",
    label = "first label",
    note = "custom note"
)]
#[diagnostic::on_unimplemented(
    message = "second message",
    //~^WARN `message` is ignored due to previous definition of `message`
    //~|WARN `message` is ignored due to previous definition of `message`
    label = "second label",
    //~^WARN `label` is ignored due to previous definition of `label`
    //~|WARN `label` is ignored due to previous definition of `label`
    note = "second note"
)]
trait Foo {}


fn takes_foo(_: impl Foo) {}

fn main() {
    takes_foo(());
    //~^ERROR first message
}