1 2 3 4 5 6 7 8 9 10 11
error: duplicate #[source] attribute --> $DIR/duplicate-source.rs:7:5 | 7 | #[source] | ^^^^^^^^^ error: duplicate #[source] attribute --> $DIR/duplicate-source.rs:16:9 | 16 | #[source] | ^^^^^^^^^