summaryrefslogtreecommitdiffstats
path: root/src/test/ui/macros/macro-input-future-proofing.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/macros/macro-input-future-proofing.rs')
-rw-r--r--src/test/ui/macros/macro-input-future-proofing.rs23
1 files changed, 23 insertions, 0 deletions
diff --git a/src/test/ui/macros/macro-input-future-proofing.rs b/src/test/ui/macros/macro-input-future-proofing.rs
new file mode 100644
index 000000000..9a5bdb08a
--- /dev/null
+++ b/src/test/ui/macros/macro-input-future-proofing.rs
@@ -0,0 +1,23 @@
+#![allow(unused_macros)]
+
+macro_rules! errors_everywhere {
+ ($ty:ty <) => (); //~ ERROR `$ty:ty` is followed by `<`, which is not allowed for `ty`
+ ($ty:ty < foo ,) => (); //~ ERROR `$ty:ty` is followed by `<`, which is not allowed for `ty`
+ ($ty:ty , ) => ();
+ ( ( $ty:ty ) ) => ();
+ ( { $ty:ty } ) => ();
+ ( [ $ty:ty ] ) => ();
+ ($bl:block < ) => ();
+ ($pa:pat >) => (); //~ ERROR `$pa:pat` is followed by `>`, which is not allowed for `pat`
+ ($pa:pat , ) => ();
+ ($pa:pat $pb:pat $ty:ty ,) => ();
+ //~^ ERROR `$pa:pat` is followed by `$pb:pat`, which is not allowed
+ //~^^ ERROR `$pb:pat` is followed by `$ty:ty`, which is not allowed
+ ($($ty:ty)* -) => (); //~ ERROR `$ty:ty` is followed by `-`
+ ($($a:ty, $b:ty)* -) => (); //~ ERROR `$b:ty` is followed by `-`
+ ($($ty:ty)-+) => (); //~ ERROR `$ty:ty` is followed by `-`, which is not allowed for `ty`
+ ( $($a:expr)* $($b:tt)* ) => { };
+ //~^ ERROR `$a:expr` is followed by `$b:tt`, which is not allowed for `expr` fragments
+}
+
+fn main() { }