--- /dev/null
+// pp-exact
+
+fn main() { }
+
+#[cfg(FALSE)]
+fn syntax() {
+ let _ = #[attr] box 0;
+ let _ = #[attr] [#![attr] ];
+ let _ = #[attr] [#![attr] 0];
+ let _ = #[attr] [#![attr] 0; 0];
+ let _ = #[attr] [#![attr] 0, 0, 0];
+ let _ = #[attr] foo();
+ let _ = #[attr] x.foo();
+ let _ = #[attr] (#![attr] );
+ let _ = #[attr] (#![attr] #[attr] 0,);
+ let _ = #[attr] (#![attr] #[attr] 0, 0);
+ let _ = #[attr] 0 + #[attr] 0;
+ let _ = #[attr] 0 / #[attr] 0;
+ let _ = #[attr] 0 & #[attr] 0;
+ let _ = #[attr] 0 % #[attr] 0;
+ let _ = #[attr] (0 + 0);
+ let _ = #[attr] !0;
+ let _ = #[attr] -0;
+ let _ = #[attr] false;
+ let _ = #[attr] 0;
+ let _ = #[attr] 'c';
+ let _ = #[attr] x as Y;
+ let _ = #[attr] (x as Y);
+ let _ =
+ #[attr] while true {
+ #![attr]
+ };
+ let _ =
+ #[attr] while let Some(false) = true {
+ #![attr]
+ };
+ let _ =
+ #[attr] for x in y {
+ #![attr]
+ };
+ let _ =
+ #[attr] loop {
+ #![attr]
+ };
+ let _ =
+ #[attr] match true {
+ #![attr]
+ #[attr]
+ _ => false,
+ };
+ let _ = #[attr] || #[attr] foo;
+ let _ = #[attr] move || #[attr] foo;
+ let _ =
+ #[attr] ||
+ #[attr] {
+ #![attr]
+ foo
+ };
+ let _ =
+ #[attr] move ||
+ #[attr] {
+ #![attr]
+ foo
+ };
+ let _ =
+ #[attr] ||
+ {
+ #![attr]
+ foo
+ };
+ let _ =
+ #[attr] move ||
+ {
+ #![attr]
+ foo
+ };
+ let _ =
+ #[attr] {
+ #![attr]
+ };
+ let _ =
+ #[attr] {
+ #![attr]
+ let _ = ();
+ };
+ let _ =
+ #[attr] {
+ #![attr]
+ let _ = ();
+ foo
+ };
+ let _ = #[attr] x = y;
+ let _ = #[attr] (x = y);
+ let _ = #[attr] x += y;
+ let _ = #[attr] (x += y);
+ let _ = #[attr] foo.bar;
+ let _ = (#[attr] foo).bar;
+ let _ = #[attr] foo.0;
+ let _ = (#[attr] foo).0;
+ let _ = #[attr] foo[bar];
+ let _ = (#[attr] foo)[bar];
+ let _ = #[attr] 0..#[attr] 0;
+ let _ = #[attr] 0..;
+ let _ = #[attr] (0..0);
+ let _ = #[attr] (0..);
+ let _ = #[attr] (..0);
+ let _ = #[attr] (..);
+ let _ = #[attr] foo::bar::baz;
+ let _ = #[attr] &0;
+ let _ = #[attr] &mut 0;
+ let _ = #[attr] &#[attr] 0;
+ let _ = #[attr] &mut #[attr] 0;
+ let _ = #[attr] break ;
+ let _ = #[attr] continue ;
+ let _ = #[attr] return;
+ let _ = #[attr] foo!();
+ let _ = #[attr] foo!(# ! [attr]);
+ let _ = #[attr] foo![];
+ let _ = #[attr] foo![# ! [attr]];
+ let _ = #[attr] foo! { };
+ let _ = #[attr] foo! { # ! [attr] };
+ let _ = #[attr] Foo{#![attr] bar: baz,};
+ let _ = #[attr] Foo{#![attr] ..foo};
+ let _ = #[attr] Foo{#![attr] bar: baz, ..foo};
+ let _ = #[attr] (#![attr] 0);
+
+ {
+ #[attr]
+ let _ = 0;
+
+ #[attr]
+ 0;
+
+ #[attr]
+ foo!();
+
+ #[attr]
+ foo! { }
+
+ #[attr]
+ foo![];
+ }
+
+ {
+ #[attr]
+ let _ = 0;
+ }
+ {
+
+ #[attr]
+ 0
+ }
+ {
+
+ #[attr]
+ {
+ #![attr]
+ }
+ }
+ {
+
+ #[attr]
+ foo!()
+ }
+ {
+
+ #[attr]
+ foo![]
+ }
+ {
+
+ #[attr]
+ foo! { }
+ }
+}
+++ /dev/null
-// run-pass
-
-#![allow(unused_imports)]
-// ignore-cross-compile
-
-#![feature(rustc_private)]
-
-extern crate syntax;
-extern crate syntax_expand;
-extern crate rustc_parse;
-extern crate rustc_errors;
-
-use rustc_errors::PResult;
-use rustc_parse::parser::attr::*;
-use rustc_parse::new_parser_from_source_str;
-use rustc_parse::parser::Parser;
-use syntax::ast::*;
-use syntax::attr::*;
-use syntax::ast;
-use syntax::sess::ParseSess;
-use syntax::source_map::{FilePathMapping, FileName};
-use syntax::ptr::P;
-use syntax::print::pprust;
-use syntax::token;
-use std::fmt;
-
-// Copied out of syntax::util::parser_testing
-
-pub fn string_to_parser<'a>(ps: &'a ParseSess, source_str: String) -> Parser<'a> {
- new_parser_from_source_str(ps, FileName::Custom(source_str.clone()), source_str)
-}
-
-fn with_error_checking_parse<'a, T, F>(s: String, ps: &'a ParseSess, f: F) -> PResult<'a, T> where
- F: FnOnce(&mut Parser<'a>) -> PResult<'a, T>,
-{
- let mut p = string_to_parser(&ps, s);
- let x = f(&mut p);
-
- if ps.span_diagnostic.has_errors() || p.token != token::Eof {
- if let Err(mut e) = x {
- e.cancel();
- }
- return Err(p.fatal("parse error"));
- }
-
- x
-}
-
-fn expr<'a>(s: &str, ps: &'a ParseSess) -> PResult<'a, P<ast::Expr>> {
- with_error_checking_parse(s.to_string(), ps, |p| {
- p.parse_expr()
- })
-}
-
-fn stmt<'a>(s: &str, ps: &'a ParseSess) -> PResult<'a, ast::Stmt> {
- with_error_checking_parse(s.to_string(), ps, |p| {
- p.parse_stmt().map(|s| s.unwrap())
- })
-}
-
-fn attr<'a>(s: &str, ps: &'a ParseSess) -> PResult<'a, ast::Attribute> {
- with_error_checking_parse(s.to_string(), ps, |p| {
- p.parse_attribute(true)
- })
-}
-
-fn str_compare<T, F: Fn(&T) -> String>(e: &str, expected: &[T], actual: &[T], f: F) {
- let expected: Vec<_> = expected.iter().map(|e| f(e)).collect();
- let actual: Vec<_> = actual.iter().map(|e| f(e)).collect();
-
- if expected != actual {
- panic!("parsed `{}` as {:?}, expected {:?}", e, actual, expected);
- }
-}
-
-fn sess() -> ParseSess {
- ParseSess::new(FilePathMapping::empty())
-}
-
-fn check_expr_attrs(es: &str, expected: &[&str]) {
- let ps = sess();
- let e = expr(es, &ps).expect("parse error");
- let actual = &e.attrs;
- str_compare(es,
- &expected.iter().map(|r| attr(r, &ps).unwrap()).collect::<Vec<_>>(),
- &actual,
- pprust::attribute_to_string);
-}
-
-fn check_stmt_attrs(es: &str, expected: &[&str]) {
- let ps = sess();
- let e = stmt(es, &ps).expect("parse error");
- let actual = e.kind.attrs();
- str_compare(es,
- &expected.iter().map(|r| attr(r, &ps).unwrap()).collect::<Vec<_>>(),
- actual,
- pprust::attribute_to_string);
-}
-
-fn reject_expr_parse(es: &str) {
- let ps = sess();
- match expr(es, &ps) {
- Ok(_) => panic!("parser did not reject `{}`", es),
- Err(mut e) => e.cancel(),
- };
-}
-
-fn reject_stmt_parse(es: &str) {
- let ps = sess();
- match stmt(es, &ps) {
- Ok(_) => panic!("parser did not reject `{}`", es),
- Err(mut e) => e.cancel(),
- };
-}
-
-fn main() {
- syntax::with_default_globals(|| run());
-}
-
-fn run() {
- let both = &["#[attr]", "#![attr]"];
- let outer = &["#[attr]"];
- let none = &[];
-
- check_expr_attrs("#[attr] box 0", outer);
- reject_expr_parse("box #![attr] 0");
-
- check_expr_attrs("#[attr] [#![attr]]", both);
- check_expr_attrs("#[attr] [#![attr] 0]", both);
- check_expr_attrs("#[attr] [#![attr] 0; 0]", both);
- check_expr_attrs("#[attr] [#![attr] 0, 0, 0]", both);
- reject_expr_parse("[#[attr]]");
-
- check_expr_attrs("#[attr] foo()", outer);
- check_expr_attrs("#[attr] x.foo()", outer);
- reject_expr_parse("foo#[attr]()");
- reject_expr_parse("foo(#![attr])");
- reject_expr_parse("x.foo(#![attr])");
- reject_expr_parse("x.#[attr]foo()");
- reject_expr_parse("x.#![attr]foo()");
-
- check_expr_attrs("#[attr] (#![attr])", both);
- check_expr_attrs("#[attr] (#![attr] #[attr] 0,)", both);
- check_expr_attrs("#[attr] (#![attr] #[attr] 0, 0)", both);
-
- check_expr_attrs("#[attr] 0 + #[attr] 0", none);
- check_expr_attrs("#[attr] 0 / #[attr] 0", none);
- check_expr_attrs("#[attr] 0 & #[attr] 0", none);
- check_expr_attrs("#[attr] 0 % #[attr] 0", none);
- check_expr_attrs("#[attr] (0 + 0)", outer);
- reject_expr_parse("0 + #![attr] 0");
-
- check_expr_attrs("#[attr] !0", outer);
- check_expr_attrs("#[attr] -0", outer);
- reject_expr_parse("!#![attr] 0");
- reject_expr_parse("-#![attr] 0");
-
- check_expr_attrs("#[attr] false", outer);
- check_expr_attrs("#[attr] 0", outer);
- check_expr_attrs("#[attr] 'c'", outer);
-
- check_expr_attrs("#[attr] x as Y", none);
- check_expr_attrs("#[attr] (x as Y)", outer);
- reject_expr_parse("x #![attr] as Y");
-
- reject_expr_parse("#[attr] if false {}");
- reject_expr_parse("if false #[attr] {}");
- reject_expr_parse("if false {#![attr]}");
- reject_expr_parse("if false {} #[attr] else {}");
- reject_expr_parse("if false {} else #[attr] {}");
- reject_expr_parse("if false {} else {#![attr]}");
- reject_expr_parse("if false {} else #[attr] if true {}");
- reject_expr_parse("if false {} else if true #[attr] {}");
- reject_expr_parse("if false {} else if true {#![attr]}");
-
- reject_expr_parse("#[attr] if let Some(false) = false {}");
- reject_expr_parse("if let Some(false) = false #[attr] {}");
- reject_expr_parse("if let Some(false) = false {#![attr]}");
- reject_expr_parse("if let Some(false) = false {} #[attr] else {}");
- reject_expr_parse("if let Some(false) = false {} else #[attr] {}");
- reject_expr_parse("if let Some(false) = false {} else {#![attr]}");
- reject_expr_parse("if let Some(false) = false {} else #[attr] if let Some(false) = true {}");
- reject_expr_parse("if let Some(false) = false {} else if let Some(false) = true #[attr] {}");
- reject_expr_parse("if let Some(false) = false {} else if let Some(false) = true {#![attr]}");
-
- check_expr_attrs("#[attr] while true {#![attr]}", both);
-
- check_expr_attrs("#[attr] while let Some(false) = true {#![attr]}", both);
-
- check_expr_attrs("#[attr] for x in y {#![attr]}", both);
-
- check_expr_attrs("#[attr] loop {#![attr]}", both);
-
- check_expr_attrs("#[attr] match true {#![attr] #[attr] _ => false}", both);
-
- check_expr_attrs("#[attr] || #[attr] foo", outer);
- check_expr_attrs("#[attr] move || #[attr] foo", outer);
- check_expr_attrs("#[attr] || #[attr] { #![attr] foo }", outer);
- check_expr_attrs("#[attr] move || #[attr] { #![attr] foo }", outer);
- check_expr_attrs("#[attr] || { #![attr] foo }", outer);
- check_expr_attrs("#[attr] move || { #![attr] foo }", outer);
- reject_expr_parse("|| #![attr] foo");
- reject_expr_parse("move || #![attr] foo");
- reject_expr_parse("|| #![attr] {foo}");
- reject_expr_parse("move || #![attr] {foo}");
-
- check_expr_attrs("#[attr] { #![attr] }", both);
- check_expr_attrs("#[attr] { #![attr] let _ = (); }", both);
- check_expr_attrs("#[attr] { #![attr] let _ = (); foo }", both);
-
- check_expr_attrs("#[attr] x = y", none);
- check_expr_attrs("#[attr] (x = y)", outer);
-
- check_expr_attrs("#[attr] x += y", none);
- check_expr_attrs("#[attr] (x += y)", outer);
-
- check_expr_attrs("#[attr] foo.bar", outer);
- check_expr_attrs("(#[attr] foo).bar", none);
-
- check_expr_attrs("#[attr] foo.0", outer);
- check_expr_attrs("(#[attr] foo).0", none);
-
- check_expr_attrs("#[attr] foo[bar]", outer);
- check_expr_attrs("(#[attr] foo)[bar]", none);
-
- check_expr_attrs("#[attr] 0..#[attr] 0", none);
- check_expr_attrs("#[attr] 0..", none);
- reject_expr_parse("#[attr] ..#[attr] 0");
- reject_expr_parse("#[attr] ..");
-
- check_expr_attrs("#[attr] (0..0)", outer);
- check_expr_attrs("#[attr] (0..)", outer);
- check_expr_attrs("#[attr] (..0)", outer);
- check_expr_attrs("#[attr] (..)", outer);
-
- check_expr_attrs("#[attr] foo::bar::baz", outer);
-
- check_expr_attrs("#[attr] &0", outer);
- check_expr_attrs("#[attr] &mut 0", outer);
- check_expr_attrs("#[attr] & #[attr] 0", outer);
- check_expr_attrs("#[attr] &mut #[attr] 0", outer);
- reject_expr_parse("#[attr] &#![attr] 0");
- reject_expr_parse("#[attr] &mut #![attr] 0");
-
- check_expr_attrs("#[attr] break", outer);
- check_expr_attrs("#[attr] continue", outer);
- check_expr_attrs("#[attr] return", outer);
-
- check_expr_attrs("#[attr] foo!()", outer);
- check_expr_attrs("#[attr] foo!(#![attr])", outer);
- check_expr_attrs("#[attr] foo![]", outer);
- check_expr_attrs("#[attr] foo![#![attr]]", outer);
- check_expr_attrs("#[attr] foo!{}", outer);
- check_expr_attrs("#[attr] foo!{#![attr]}", outer);
-
- check_expr_attrs("#[attr] Foo { #![attr] bar: baz }", both);
- check_expr_attrs("#[attr] Foo { #![attr] ..foo }", both);
- check_expr_attrs("#[attr] Foo { #![attr] bar: baz, ..foo }", both);
-
- check_expr_attrs("#[attr] (#![attr] 0)", both);
-
- // Look at statements in their natural habitat...
- check_expr_attrs("{
- #[attr] let _ = 0;
- #[attr] 0;
- #[attr] foo!();
- #[attr] foo!{}
- #[attr] foo![];
- }", none);
-
- check_stmt_attrs("#[attr] let _ = 0", outer);
- check_stmt_attrs("#[attr] 0", outer);
- check_stmt_attrs("#[attr] {#![attr]}", both);
- check_stmt_attrs("#[attr] foo!()", outer);
- check_stmt_attrs("#[attr] foo![]", outer);
- check_stmt_attrs("#[attr] foo!{}", outer);
-
- reject_stmt_parse("#[attr] #![attr] let _ = 0");
- reject_stmt_parse("#[attr] #![attr] 0");
- reject_stmt_parse("#[attr] #![attr] foo!()");
- reject_stmt_parse("#[attr] #![attr] foo![]");
- reject_stmt_parse("#[attr] #![attr] foo!{}");
-
- // FIXME: Allow attributes in pattern constexprs?
- // note: requires parens in patterns to allow disambiguation
-
- reject_expr_parse("match 0 {
- 0..=#[attr] 10 => ()
- }");
- reject_expr_parse("match 0 {
- 0..=#[attr] -10 => ()
- }");
- reject_expr_parse("match 0 {
- 0..=-#[attr] 10 => ()
- }");
- reject_expr_parse("match 0 {
- 0..=#[attr] FOO => ()
- }");
-
- // make sure we don't catch this bug again...
- reject_expr_parse("{
- fn foo() {
- #[attr];
- }
- }");
- reject_expr_parse("{
- fn foo() {
- #[attr]
- }
- }");
-}
--- /dev/null
+#[cfg(FALSE)] fn e() { let _ = x.#![attr]foo(); }
+//~^ ERROR unexpected token: `#`
--- /dev/null
+error: unexpected token: `#`
+ --> $DIR/attr-stmt-expr-attr-bad-2.rs:1:34
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = x.#![attr]foo(); }
+ | ^
+
+error: aborting due to previous error
+
--- /dev/null
+#[cfg(FALSE)] fn e() { let _ = x.#[attr]foo(); }
+//~^ ERROR unexpected token: `#`
--- /dev/null
+error: unexpected token: `#`
+ --> $DIR/attr-stmt-expr-attr-bad-3.rs:1:34
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = x.#[attr]foo(); }
+ | ^
+
+error: aborting due to previous error
+
--- /dev/null
+fn main() {}
+
+#[cfg(FALSE)] fn e() { let _ = box #![attr] 0; }
+//~^ ERROR an inner attribute is not permitted in this context
+#[cfg(FALSE)] fn e() { let _ = [#[attr]]; }
+//~^ ERROR expected expression, found `]`
+#[cfg(FALSE)] fn e() { let _ = foo#[attr](); }
+//~^ ERROR expected one of
+#[cfg(FALSE)] fn e() { let _ = foo(#![attr]); }
+//~^ ERROR an inner attribute is not permitted in this context
+//~| ERROR expected expression, found `)`
+#[cfg(FALSE)] fn e() { let _ = x.foo(#![attr]); }
+//~^ ERROR an inner attribute is not permitted in this context
+//~| ERROR expected expression, found `)`
+#[cfg(FALSE)] fn e() { let _ = 0 + #![attr] 0; }
+//~^ ERROR an inner attribute is not permitted in this context
+#[cfg(FALSE)] fn e() { let _ = !#![attr] 0; }
+//~^ ERROR an inner attribute is not permitted in this context
+#[cfg(FALSE)] fn e() { let _ = -#![attr] 0; }
+//~^ ERROR an inner attribute is not permitted in this context
+#[cfg(FALSE)] fn e() { let _ = x #![attr] as Y; }
+//~^ ERROR expected one of
+#[cfg(FALSE)] fn e() { let _ = || #![attr] foo; }
+//~^ ERROR an inner attribute is not permitted in this context
+#[cfg(FALSE)] fn e() { let _ = move || #![attr] foo; }
+//~^ ERROR an inner attribute is not permitted in this context
+#[cfg(FALSE)] fn e() { let _ = || #![attr] {foo}; }
+//~^ ERROR an inner attribute is not permitted in this context
+#[cfg(FALSE)] fn e() { let _ = move || #![attr] {foo}; }
+//~^ ERROR an inner attribute is not permitted in this context
+#[cfg(FALSE)] fn e() { let _ = #[attr] ..#[attr] 0; }
+//~^ ERROR expected expression, found `..`
+#[cfg(FALSE)] fn e() { let _ = #[attr] ..; }
+//~^ ERROR expected expression, found `..`
+#[cfg(FALSE)] fn e() { let _ = #[attr] &#![attr] 0; }
+//~^ ERROR an inner attribute is not permitted in this context
+#[cfg(FALSE)] fn e() { let _ = #[attr] &mut #![attr] 0; }
+//~^ ERROR an inner attribute is not permitted in this context
+#[cfg(FALSE)] fn e() { let _ = #[attr] if 0 {}; }
+//~^ ERROR attributes are not yet allowed on `if` expressions
+#[cfg(FALSE)] fn e() { let _ = if 0 #[attr] {}; }
+//~^ ERROR expected `{`, found `#`
+#[cfg(FALSE)] fn e() { let _ = if 0 {#![attr]}; }
+//~^ ERROR an inner attribute is not permitted in this context
+#[cfg(FALSE)] fn e() { let _ = if 0 {} #[attr] else {}; }
+//~^ ERROR expected one of
+#[cfg(FALSE)] fn e() { let _ = if 0 {} else #[attr] {}; }
+//~^ ERROR expected `{`, found `#`
+#[cfg(FALSE)] fn e() { let _ = if 0 {} else {#![attr]}; }
+//~^ ERROR an inner attribute is not permitted in this context
+#[cfg(FALSE)] fn e() { let _ = if 0 {} else #[attr] if 0 {}; }
+//~^ ERROR attributes are not yet allowed on `if` expressions
+//~| ERROR expected `{`, found `#`
+#[cfg(FALSE)] fn e() { let _ = if 0 {} else if 0 #[attr] {}; }
+//~^ ERROR expected `{`, found `#`
+#[cfg(FALSE)] fn e() { let _ = if 0 {} else if 0 {#![attr]}; }
+//~^ ERROR an inner attribute is not permitted in this context
+#[cfg(FALSE)] fn e() { let _ = #[attr] if let _ = 0 {}; }
+//~^ ERROR attributes are not yet allowed on `if` expressions
+#[cfg(FALSE)] fn e() { let _ = if let _ = 0 #[attr] {}; }
+//~^ ERROR expected `{`, found `#`
+#[cfg(FALSE)] fn e() { let _ = if let _ = 0 {#![attr]}; }
+//~^ ERROR an inner attribute is not permitted in this context
+#[cfg(FALSE)] fn e() { let _ = if let _ = 0 {} #[attr] else {}; }
+//~^ ERROR expected one of
+#[cfg(FALSE)] fn e() { let _ = if let _ = 0 {} else #[attr] {}; }
+//~^ ERROR expected `{`, found `#`
+#[cfg(FALSE)] fn e() { let _ = if let _ = 0 {} else {#![attr]}; }
+//~^ ERROR an inner attribute is not permitted in this context
+#[cfg(FALSE)] fn e() { let _ = if let _ = 0 {} else #[attr] if let _ = 0 {}; }
+//~^ ERROR attributes are not yet allowed on `if` expressions
+//~| ERROR expected `{`, found `#`
+#[cfg(FALSE)] fn e() { let _ = if let _ = 0 {} else if let _ = 0 #[attr] {}; }
+//~^ ERROR expected `{`, found `#`
+#[cfg(FALSE)] fn e() { let _ = if let _ = 0 {} else if let _ = 0 {#![attr]}; }
+//~^ ERROR an inner attribute is not permitted in this context
+
+#[cfg(FALSE)] fn s() { #[attr] #![attr] let _ = 0; }
+//~^ ERROR an inner attribute is not permitted following an outer attribute
+#[cfg(FALSE)] fn s() { #[attr] #![attr] 0; }
+//~^ ERROR an inner attribute is not permitted following an outer attribute
+#[cfg(FALSE)] fn s() { #[attr] #![attr] foo!(); }
+//~^ ERROR an inner attribute is not permitted following an outer attribute
+#[cfg(FALSE)] fn s() { #[attr] #![attr] foo![]; }
+//~^ ERROR an inner attribute is not permitted following an outer attribute
+#[cfg(FALSE)] fn s() { #[attr] #![attr] foo!{}; }
+//~^ ERROR an inner attribute is not permitted following an outer attribute
+
+// FIXME: Allow attributes in pattern constexprs?
+// note: requires parens in patterns to allow disambiguation
+
+#[cfg(FALSE)] fn e() { match 0 { 0..=#[attr] 10 => () } }
+//~^ ERROR `X..=` range patterns are not supported
+//~| ERROR expected one of `=>`, `if`, or `|`, found `#`
+#[cfg(FALSE)] fn e() { match 0 { 0..=#[attr] -10 => () } }
+//~^ ERROR `X..=` range patterns are not supported
+//~| ERROR expected one of `=>`, `if`, or `|`, found `#`
+#[cfg(FALSE)] fn e() { match 0 { 0..=-#[attr] 10 => () } }
+//~^ ERROR unexpected token: `#`
+#[cfg(FALSE)] fn e() { match 0 { 0..=#[attr] FOO => () } }
+//~^ ERROR `X..=` range patterns are not supported
+//~| ERROR expected one of `=>`, `if`, or `|`, found `#`
+
+// make sure we don't catch this bug again...
+#[cfg(FALSE)] fn e() { { fn foo() { #[attr]; } } }
+//~^ ERROR expected statement after outer attribute
+#[cfg(FALSE)] fn e() { { fn foo() { #[attr] } } }
--- /dev/null
+error: an inner attribute is not permitted in this context
+ --> $DIR/attr-stmt-expr-attr-bad.rs:3:36
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = box #![attr] 0; }
+ | ^^^^^^^^
+ |
+ = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files. Outer attributes, like `#[test]`, annotate the item following them.
+
+error: expected expression, found `]`
+ --> $DIR/attr-stmt-expr-attr-bad.rs:5:40
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = [#[attr]]; }
+ | ^ expected expression
+
+error: expected one of `!`, `.`, `::`, `;`, `?`, `{`, or an operator, found `#`
+ --> $DIR/attr-stmt-expr-attr-bad.rs:7:35
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = foo#[attr](); }
+ | ^ expected one of 7 possible tokens
+
+error: an inner attribute is not permitted in this context
+ --> $DIR/attr-stmt-expr-attr-bad.rs:9:36
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = foo(#![attr]); }
+ | ^^^^^^^^
+ |
+ = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files. Outer attributes, like `#[test]`, annotate the item following them.
+
+error: expected expression, found `)`
+ --> $DIR/attr-stmt-expr-attr-bad.rs:9:44
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = foo(#![attr]); }
+ | ^ expected expression
+
+error: an inner attribute is not permitted in this context
+ --> $DIR/attr-stmt-expr-attr-bad.rs:12:38
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = x.foo(#![attr]); }
+ | ^^^^^^^^
+ |
+ = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files. Outer attributes, like `#[test]`, annotate the item following them.
+
+error: expected expression, found `)`
+ --> $DIR/attr-stmt-expr-attr-bad.rs:12:46
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = x.foo(#![attr]); }
+ | ^ expected expression
+
+error: an inner attribute is not permitted in this context
+ --> $DIR/attr-stmt-expr-attr-bad.rs:15:36
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = 0 + #![attr] 0; }
+ | ^^^^^^^^
+ |
+ = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files. Outer attributes, like `#[test]`, annotate the item following them.
+
+error: an inner attribute is not permitted in this context
+ --> $DIR/attr-stmt-expr-attr-bad.rs:17:33
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = !#![attr] 0; }
+ | ^^^^^^^^
+ |
+ = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files. Outer attributes, like `#[test]`, annotate the item following them.
+
+error: an inner attribute is not permitted in this context
+ --> $DIR/attr-stmt-expr-attr-bad.rs:19:33
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = -#![attr] 0; }
+ | ^^^^^^^^
+ |
+ = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files. Outer attributes, like `#[test]`, annotate the item following them.
+
+error: expected one of `!`, `.`, `::`, `;`, `?`, `{`, or an operator, found `#`
+ --> $DIR/attr-stmt-expr-attr-bad.rs:21:34
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = x #![attr] as Y; }
+ | ^ expected one of 7 possible tokens
+
+error: an inner attribute is not permitted in this context
+ --> $DIR/attr-stmt-expr-attr-bad.rs:23:35
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = || #![attr] foo; }
+ | ^^^^^^^^
+ |
+ = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files. Outer attributes, like `#[test]`, annotate the item following them.
+
+error: an inner attribute is not permitted in this context
+ --> $DIR/attr-stmt-expr-attr-bad.rs:25:40
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = move || #![attr] foo; }
+ | ^^^^^^^^
+ |
+ = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files. Outer attributes, like `#[test]`, annotate the item following them.
+
+error: an inner attribute is not permitted in this context
+ --> $DIR/attr-stmt-expr-attr-bad.rs:27:35
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = || #![attr] {foo}; }
+ | ^^^^^^^^
+ |
+ = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files. Outer attributes, like `#[test]`, annotate the item following them.
+
+error: an inner attribute is not permitted in this context
+ --> $DIR/attr-stmt-expr-attr-bad.rs:29:40
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = move || #![attr] {foo}; }
+ | ^^^^^^^^
+ |
+ = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files. Outer attributes, like `#[test]`, annotate the item following them.
+
+error: expected expression, found `..`
+ --> $DIR/attr-stmt-expr-attr-bad.rs:31:40
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = #[attr] ..#[attr] 0; }
+ | ^^ expected expression
+
+error: expected expression, found `..`
+ --> $DIR/attr-stmt-expr-attr-bad.rs:33:40
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = #[attr] ..; }
+ | ^^ expected expression
+
+error: an inner attribute is not permitted in this context
+ --> $DIR/attr-stmt-expr-attr-bad.rs:35:41
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = #[attr] &#![attr] 0; }
+ | ^^^^^^^^
+ |
+ = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files. Outer attributes, like `#[test]`, annotate the item following them.
+
+error: an inner attribute is not permitted in this context
+ --> $DIR/attr-stmt-expr-attr-bad.rs:37:45
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = #[attr] &mut #![attr] 0; }
+ | ^^^^^^^^
+ |
+ = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files. Outer attributes, like `#[test]`, annotate the item following them.
+
+error: attributes are not yet allowed on `if` expressions
+ --> $DIR/attr-stmt-expr-attr-bad.rs:39:32
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = #[attr] if 0 {}; }
+ | ^^^^^^^
+
+error: expected `{`, found `#`
+ --> $DIR/attr-stmt-expr-attr-bad.rs:41:37
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = if 0 #[attr] {}; }
+ | -- ^ --- help: try placing this code inside a block: `{ {}; }`
+ | | |
+ | | expected `{`
+ | this `if` statement has a condition, but no block
+
+error: an inner attribute is not permitted in this context
+ --> $DIR/attr-stmt-expr-attr-bad.rs:43:38
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = if 0 {#![attr]}; }
+ | ^^^^^^^^
+ |
+ = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files. Outer attributes, like `#[test]`, annotate the item following them.
+
+error: expected one of `.`, `;`, `?`, `else`, or an operator, found `#`
+ --> $DIR/attr-stmt-expr-attr-bad.rs:45:40
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = if 0 {} #[attr] else {}; }
+ | ^ expected one of `.`, `;`, `?`, `else`, or an operator
+
+error: expected `{`, found `#`
+ --> $DIR/attr-stmt-expr-attr-bad.rs:47:45
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = if 0 {} else #[attr] {}; }
+ | ^ --- help: try placing this code inside a block: `{ {}; }`
+ | |
+ | expected `{`
+
+error: an inner attribute is not permitted in this context
+ --> $DIR/attr-stmt-expr-attr-bad.rs:49:46
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = if 0 {} else {#![attr]}; }
+ | ^^^^^^^^
+ |
+ = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files. Outer attributes, like `#[test]`, annotate the item following them.
+
+error: attributes are not yet allowed on `if` expressions
+ --> $DIR/attr-stmt-expr-attr-bad.rs:51:45
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = if 0 {} else #[attr] if 0 {}; }
+ | ^^^^^^^
+
+error: expected `{`, found `#`
+ --> $DIR/attr-stmt-expr-attr-bad.rs:51:45
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = if 0 {} else #[attr] if 0 {}; }
+ | ^ -------- help: try placing this code inside a block: `{ if 0 {}; }`
+ | |
+ | expected `{`
+
+error: expected `{`, found `#`
+ --> $DIR/attr-stmt-expr-attr-bad.rs:54:50
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = if 0 {} else if 0 #[attr] {}; }
+ | -- ^ --- help: try placing this code inside a block: `{ {}; }`
+ | | |
+ | | expected `{`
+ | this `if` statement has a condition, but no block
+
+error: an inner attribute is not permitted in this context
+ --> $DIR/attr-stmt-expr-attr-bad.rs:56:51
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = if 0 {} else if 0 {#![attr]}; }
+ | ^^^^^^^^
+ |
+ = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files. Outer attributes, like `#[test]`, annotate the item following them.
+
+error: attributes are not yet allowed on `if` expressions
+ --> $DIR/attr-stmt-expr-attr-bad.rs:58:32
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = #[attr] if let _ = 0 {}; }
+ | ^^^^^^^
+
+error: expected `{`, found `#`
+ --> $DIR/attr-stmt-expr-attr-bad.rs:60:45
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = if let _ = 0 #[attr] {}; }
+ | -- ^ --- help: try placing this code inside a block: `{ {}; }`
+ | | |
+ | | expected `{`
+ | this `if` statement has a condition, but no block
+
+error: an inner attribute is not permitted in this context
+ --> $DIR/attr-stmt-expr-attr-bad.rs:62:46
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = if let _ = 0 {#![attr]}; }
+ | ^^^^^^^^
+ |
+ = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files. Outer attributes, like `#[test]`, annotate the item following them.
+
+error: expected one of `.`, `;`, `?`, `else`, or an operator, found `#`
+ --> $DIR/attr-stmt-expr-attr-bad.rs:64:48
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = if let _ = 0 {} #[attr] else {}; }
+ | ^ expected one of `.`, `;`, `?`, `else`, or an operator
+
+error: expected `{`, found `#`
+ --> $DIR/attr-stmt-expr-attr-bad.rs:66:53
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = if let _ = 0 {} else #[attr] {}; }
+ | ^ --- help: try placing this code inside a block: `{ {}; }`
+ | |
+ | expected `{`
+
+error: an inner attribute is not permitted in this context
+ --> $DIR/attr-stmt-expr-attr-bad.rs:68:54
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = if let _ = 0 {} else {#![attr]}; }
+ | ^^^^^^^^
+ |
+ = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files. Outer attributes, like `#[test]`, annotate the item following them.
+
+error: attributes are not yet allowed on `if` expressions
+ --> $DIR/attr-stmt-expr-attr-bad.rs:70:53
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = if let _ = 0 {} else #[attr] if let _ = 0 {}; }
+ | ^^^^^^^
+
+error: expected `{`, found `#`
+ --> $DIR/attr-stmt-expr-attr-bad.rs:70:53
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = if let _ = 0 {} else #[attr] if let _ = 0 {}; }
+ | ^ ---------------- help: try placing this code inside a block: `{ if let _ = 0 {}; }`
+ | |
+ | expected `{`
+
+error: expected `{`, found `#`
+ --> $DIR/attr-stmt-expr-attr-bad.rs:73:66
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = if let _ = 0 {} else if let _ = 0 #[attr] {}; }
+ | -- ^ --- help: try placing this code inside a block: `{ {}; }`
+ | | |
+ | | expected `{`
+ | this `if` statement has a condition, but no block
+
+error: an inner attribute is not permitted in this context
+ --> $DIR/attr-stmt-expr-attr-bad.rs:75:67
+ |
+LL | #[cfg(FALSE)] fn e() { let _ = if let _ = 0 {} else if let _ = 0 {#![attr]}; }
+ | ^^^^^^^^
+ |
+ = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files. Outer attributes, like `#[test]`, annotate the item following them.
+
+error: an inner attribute is not permitted following an outer attribute
+ --> $DIR/attr-stmt-expr-attr-bad.rs:78:32
+ |
+LL | #[cfg(FALSE)] fn s() { #[attr] #![attr] let _ = 0; }
+ | ------- ^^^^^^^^ not permitted following an outer attibute
+ | |
+ | previous outer attribute
+ |
+ = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files. Outer attributes, like `#[test]`, annotate the item following them.
+
+error: an inner attribute is not permitted following an outer attribute
+ --> $DIR/attr-stmt-expr-attr-bad.rs:80:32
+ |
+LL | #[cfg(FALSE)] fn s() { #[attr] #![attr] 0; }
+ | ------- ^^^^^^^^ not permitted following an outer attibute
+ | |
+ | previous outer attribute
+ |
+ = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files. Outer attributes, like `#[test]`, annotate the item following them.
+
+error: an inner attribute is not permitted following an outer attribute
+ --> $DIR/attr-stmt-expr-attr-bad.rs:82:32
+ |
+LL | #[cfg(FALSE)] fn s() { #[attr] #![attr] foo!(); }
+ | ------- ^^^^^^^^ not permitted following an outer attibute
+ | |
+ | previous outer attribute
+ |
+ = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files. Outer attributes, like `#[test]`, annotate the item following them.
+
+error: an inner attribute is not permitted following an outer attribute
+ --> $DIR/attr-stmt-expr-attr-bad.rs:84:32
+ |
+LL | #[cfg(FALSE)] fn s() { #[attr] #![attr] foo![]; }
+ | ------- ^^^^^^^^ not permitted following an outer attibute
+ | |
+ | previous outer attribute
+ |
+ = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files. Outer attributes, like `#[test]`, annotate the item following them.
+
+error: an inner attribute is not permitted following an outer attribute
+ --> $DIR/attr-stmt-expr-attr-bad.rs:86:32
+ |
+LL | #[cfg(FALSE)] fn s() { #[attr] #![attr] foo!{}; }
+ | ------- ^^^^^^^^ not permitted following an outer attibute
+ | |
+ | previous outer attribute
+ |
+ = note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files. Outer attributes, like `#[test]`, annotate the item following them.
+
+error: `X..=` range patterns are not supported
+ --> $DIR/attr-stmt-expr-attr-bad.rs:92:34
+ |
+LL | #[cfg(FALSE)] fn e() { match 0 { 0..=#[attr] 10 => () } }
+ | ^^^^ help: try using the maximum value for the type: `0..=MAX`
+
+error: expected one of `=>`, `if`, or `|`, found `#`
+ --> $DIR/attr-stmt-expr-attr-bad.rs:92:38
+ |
+LL | #[cfg(FALSE)] fn e() { match 0 { 0..=#[attr] 10 => () } }
+ | ^ expected one of `=>`, `if`, or `|`
+
+error: `X..=` range patterns are not supported
+ --> $DIR/attr-stmt-expr-attr-bad.rs:95:34
+ |
+LL | #[cfg(FALSE)] fn e() { match 0 { 0..=#[attr] -10 => () } }
+ | ^^^^ help: try using the maximum value for the type: `0..=MAX`
+
+error: expected one of `=>`, `if`, or `|`, found `#`
+ --> $DIR/attr-stmt-expr-attr-bad.rs:95:38
+ |
+LL | #[cfg(FALSE)] fn e() { match 0 { 0..=#[attr] -10 => () } }
+ | ^ expected one of `=>`, `if`, or `|`
+
+error: unexpected token: `#`
+ --> $DIR/attr-stmt-expr-attr-bad.rs:98:39
+ |
+LL | #[cfg(FALSE)] fn e() { match 0 { 0..=-#[attr] 10 => () } }
+ | ^
+
+error: `X..=` range patterns are not supported
+ --> $DIR/attr-stmt-expr-attr-bad.rs:100:34
+ |
+LL | #[cfg(FALSE)] fn e() { match 0 { 0..=#[attr] FOO => () } }
+ | ^^^^ help: try using the maximum value for the type: `0..=MAX`
+
+error: expected one of `=>`, `if`, or `|`, found `#`
+ --> $DIR/attr-stmt-expr-attr-bad.rs:100:38
+ |
+LL | #[cfg(FALSE)] fn e() { match 0 { 0..=#[attr] FOO => () } }
+ | ^ expected one of `=>`, `if`, or `|`
+
+error: expected statement after outer attribute
+ --> $DIR/attr-stmt-expr-attr-bad.rs:105:44
+ |
+LL | #[cfg(FALSE)] fn e() { { fn foo() { #[attr]; } } }
+ | ^
+
+error: aborting due to 52 previous errors
+