src/test/compile-fail/macro-follow.rs

   1 // Copyright 2016 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10 //
  11 // Check the macro follow sets (see corresponding rpass test).
  12
  13 // FOLLOW(pat) = {FatArrow, Comma, Eq, Or, Ident(if), Ident(in)}
  14 macro_rules! follow_pat {
  15     ($p:pat ()) => {};       //~WARN  `$p:pat` is followed by `(`
  16     ($p:pat []) => {};       //~WARN  `$p:pat` is followed by `[`
  17     ($p:pat {}) => {};       //~WARN  `$p:pat` is followed by `{`
  18     ($p:pat :) => {};        //~ERROR `$p:pat` is followed by `:`
  19     ($p:pat >) => {};        //~ERROR `$p:pat` is followed by `>`
  20     ($p:pat +) => {};        //~ERROR `$p:pat` is followed by `+`
  21     ($p:pat ident) => {};    //~ERROR `$p:pat` is followed by `ident`
  22     ($p:pat $p:pat) => {};   //~ERROR `$p:pat` is followed by `$p:pat`
  23     ($p:pat $e:expr) => {};  //~ERROR `$p:pat` is followed by `$e:expr`
  24     ($p:pat $t:ty) => {};    //~ERROR `$p:pat` is followed by `$t:ty`
  25     ($p:pat $s:stmt) => {};  //~ERROR `$p:pat` is followed by `$s:stmt`
  26     ($p:pat $p:path) => {};  //~ERROR `$p:pat` is followed by `$p:path`
  27     ($p:pat $b:block) => {}; //~ERROR `$p:pat` is followed by `$b:block`
  28     ($p:pat $i:ident) => {}; //~ERROR `$p:pat` is followed by `$i:ident`
  29     ($p:pat $t:tt) => {};    //~ERROR `$p:pat` is followed by `$t:tt`
  30     ($p:pat $i:item) => {};  //~ERROR `$p:pat` is followed by `$i:item`
  31     ($p:pat $m:meta) => {};  //~ERROR `$p:pat` is followed by `$m:meta`
  32 }
  33 // FOLLOW(expr) = {FatArrow, Comma, Semicolon}
  34 macro_rules! follow_expr {
  35     ($e:expr ()) => {};       //~WARN  `$e:expr` is followed by `(`
  36     ($e:expr []) => {};       //~WARN  `$e:expr` is followed by `[`
  37     ($e:expr {}) => {};       //~WARN  `$e:expr` is followed by `{`
  38     ($e:expr =) => {};        //~ERROR `$e:expr` is followed by `=`
  39     ($e:expr |) => {};        //~ERROR `$e:expr` is followed by `|`
  40     ($e:expr :) => {};        //~ERROR `$e:expr` is followed by `:`
  41     ($e:expr >) => {};        //~ERROR `$e:expr` is followed by `>`
  42     ($e:expr +) => {};        //~ERROR `$e:expr` is followed by `+`
  43     ($e:expr ident) => {};    //~ERROR `$e:expr` is followed by `ident`
  44     ($e:expr if) => {};       //~ERROR `$e:expr` is followed by `if`
  45     ($e:expr in) => {};       //~ERROR `$e:expr` is followed by `in`
  46     ($e:expr $p:pat) => {};   //~ERROR `$e:expr` is followed by `$p:pat`
  47     ($e:expr $e:expr) => {};  //~ERROR `$e:expr` is followed by `$e:expr`
  48     ($e:expr $t:ty) => {};    //~ERROR `$e:expr` is followed by `$t:ty`
  49     ($e:expr $s:stmt) => {};  //~ERROR `$e:expr` is followed by `$s:stmt`
  50     ($e:expr $p:path) => {};  //~ERROR `$e:expr` is followed by `$p:path`
  51     ($e:expr $b:block) => {}; //~ERROR `$e:expr` is followed by `$b:block`
  52     ($e:expr $i:ident) => {}; //~ERROR `$e:expr` is followed by `$i:ident`
  53     ($e:expr $t:tt) => {};    //~ERROR `$e:expr` is followed by `$t:tt`
  54     ($e:expr $i:item) => {};  //~ERROR `$e:expr` is followed by `$i:item`
  55     ($e:expr $m:meta) => {};  //~ERROR `$e:expr` is followed by `$m:meta`
  56 }
  57 // FOLLOW(ty) = {OpenDelim(Brace), Comma, FatArrow, Colon, Eq, Gt, Semi, Or,
  58 //               Ident(as), Ident(where), OpenDelim(Bracket), Nonterminal(Block)}
  59 macro_rules! follow_ty {
  60     ($t:ty ()) => {};       //~WARN  `$t:ty` is followed by `(`
  61     ($t:ty []) => {};       // ok (RFC 1462)
  62     ($t:ty +) => {};        //~ERROR `$t:ty` is followed by `+`
  63     ($t:ty ident) => {};    //~ERROR `$t:ty` is followed by `ident`
  64     ($t:ty if) => {};       //~ERROR `$t:ty` is followed by `if`
  65     ($t:ty $p:pat) => {};   //~ERROR `$t:ty` is followed by `$p:pat`
  66     ($t:ty $e:expr) => {};  //~ERROR `$t:ty` is followed by `$e:expr`
  67     ($t:ty $t:ty) => {};    //~ERROR `$t:ty` is followed by `$t:ty`
  68     ($t:ty $s:stmt) => {};  //~ERROR `$t:ty` is followed by `$s:stmt`
  69     ($t:ty $p:path) => {};  //~ERROR `$t:ty` is followed by `$p:path`
  70     ($t:ty $b:block) => {}; // ok (RFC 1494)
  71     ($t:ty $i:ident) => {}; //~ERROR `$t:ty` is followed by `$i:ident`
  72     ($t:ty $t:tt) => {};    //~ERROR `$t:ty` is followed by `$t:tt`
  73     ($t:ty $i:item) => {};  //~ERROR `$t:ty` is followed by `$i:item`
  74     ($t:ty $m:meta) => {};  //~ERROR `$t:ty` is followed by `$m:meta`
  75 }
  76 // FOLLOW(stmt) = FOLLOW(expr)
  77 macro_rules! follow_stmt {
  78     ($s:stmt ()) => {};       //~WARN  `$s:stmt` is followed by `(`
  79     ($s:stmt []) => {};       //~WARN  `$s:stmt` is followed by `[`
  80     ($s:stmt {}) => {};       //~WARN  `$s:stmt` is followed by `{`
  81     ($s:stmt =) => {};        //~ERROR `$s:stmt` is followed by `=`
  82     ($s:stmt |) => {};        //~ERROR `$s:stmt` is followed by `|`
  83     ($s:stmt :) => {};        //~ERROR `$s:stmt` is followed by `:`
  84     ($s:stmt >) => {};        //~ERROR `$s:stmt` is followed by `>`
  85     ($s:stmt +) => {};        //~ERROR `$s:stmt` is followed by `+`
  86     ($s:stmt ident) => {};    //~ERROR `$s:stmt` is followed by `ident`
  87     ($s:stmt if) => {};       //~ERROR `$s:stmt` is followed by `if`
  88     ($s:stmt in) => {};       //~ERROR `$s:stmt` is followed by `in`
  89     ($s:stmt $p:pat) => {};   //~ERROR `$s:stmt` is followed by `$p:pat`
  90     ($s:stmt $e:expr) => {};  //~ERROR `$s:stmt` is followed by `$e:expr`
  91     ($s:stmt $t:ty) => {};    //~ERROR `$s:stmt` is followed by `$t:ty`
  92     ($s:stmt $s:stmt) => {};  //~ERROR `$s:stmt` is followed by `$s:stmt`
  93     ($s:stmt $p:path) => {};  //~ERROR `$s:stmt` is followed by `$p:path`
  94     ($s:stmt $b:block) => {}; //~ERROR `$s:stmt` is followed by `$b:block`
  95     ($s:stmt $i:ident) => {}; //~ERROR `$s:stmt` is followed by `$i:ident`
  96     ($s:stmt $t:tt) => {};    //~ERROR `$s:stmt` is followed by `$t:tt`
  97     ($s:stmt $i:item) => {};  //~ERROR `$s:stmt` is followed by `$i:item`
  98     ($s:stmt $m:meta) => {};  //~ERROR `$s:stmt` is followed by `$m:meta`
  99 }
 100 // FOLLOW(path) = FOLLOW(ty)
 101 macro_rules! follow_path {
 102     ($p:path ()) => {};       //~WARN  `$p:path` is followed by `(`
 103     ($p:path []) => {};       // ok (RFC 1462)
 104     ($p:path +) => {};        //~ERROR `$p:path` is followed by `+`
 105     ($p:path ident) => {};    //~ERROR `$p:path` is followed by `ident`
 106     ($p:path if) => {};       //~ERROR `$p:path` is followed by `if`
 107     ($p:path $p:pat) => {};   //~ERROR `$p:path` is followed by `$p:pat`
 108     ($p:path $e:expr) => {};  //~ERROR `$p:path` is followed by `$e:expr`
 109     ($p:path $t:ty) => {};    //~ERROR `$p:path` is followed by `$t:ty`
 110     ($p:path $s:stmt) => {};  //~ERROR `$p:path` is followed by `$s:stmt`
 111     ($p:path $p:path) => {};  //~ERROR `$p:path` is followed by `$p:path`
 112     ($p:path $b:block) => {}; // ok (RFC 1494)
 113     ($p:path $i:ident) => {}; //~ERROR `$p:path` is followed by `$i:ident`
 114     ($p:path $t:tt) => {};    //~ERROR `$p:path` is followed by `$t:tt`
 115     ($p:path $i:item) => {};  //~ERROR `$p:path` is followed by `$i:item`
 116     ($p:path $m:meta) => {};  //~ERROR `$p:path` is followed by `$m:meta`
 117 }
 118 // FOLLOW(block) = any token
 119 // FOLLOW(ident) = any token
 120
 121 fn main() {}
 122