summaryrefslogtreecommitdiffstats
path: root/src/test/ui/dyn-keyword/issue-56327-dyn-trait-in-macro-is-okay.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/dyn-keyword/issue-56327-dyn-trait-in-macro-is-okay.rs')
-rw-r--r--src/test/ui/dyn-keyword/issue-56327-dyn-trait-in-macro-is-okay.rs27
1 files changed, 27 insertions, 0 deletions
diff --git a/src/test/ui/dyn-keyword/issue-56327-dyn-trait-in-macro-is-okay.rs b/src/test/ui/dyn-keyword/issue-56327-dyn-trait-in-macro-is-okay.rs
new file mode 100644
index 000000000..59e7f9a60
--- /dev/null
+++ b/src/test/ui/dyn-keyword/issue-56327-dyn-trait-in-macro-is-okay.rs
@@ -0,0 +1,27 @@
+// check-pass
+// edition:2015
+//
+// rust-lang/rust#56327: Some occurrences of `dyn` within a macro are
+// not instances of identifiers, and thus should *not* be caught by the
+// keyword_ident lint.
+//
+// Otherwise, rustfix replaces the type `Box<dyn Drop>` with
+// `Box<r#dyn Drop>`, which is injecting a bug rather than fixing
+// anything.
+
+#![deny(rust_2018_compatibility)]
+#![allow(dyn_drop)]
+
+macro_rules! foo {
+ () => {
+ fn generated_foo() {
+ let _x: Box<dyn Drop>;
+ }
+ }
+}
+
+foo!();
+
+fn main() {
+ generated_foo();
+}