Merge #1661

1661: Parse function parameters attributes r=matklad a=eupn Fixes #1397. The [RFC-2565](https://github.com/rust-lang/rfcs/blob/master/text/2565-formal-function-parameter-attributes.md) specifies `#[attributes]` to function parameters: ```rust fn foo(#[attr] a, #[unused] b, #[must_use] ...) { // ... } ``` This PR adds those attributes into grammar and to the parser, extending corresponding inline tests. Co-authored-by: Evgenii P <[email protected]>
author: bors[bot] <26634292+bors[bot]@users.noreply.github.com> 2019-08-08 14:04:28 +0100
committer: bors[bot] <26634292+bors[bot]@users.noreply.github.com> 2019-08-08 14:04:28 +0100
commit: 87608904f697a3f58ddb71a7f6828dac80f8b3ce (patch)
tree: 11907e37146390bd033a9667995a5e8c9d61a9ed /crates/ra_syntax/test_data/parser/ok
parent: de4523fae07a2bf0c058d021bd4cfdb53946c4bf (diff)
parent: 6fa2d8214784b6ecfc3fbcd98778d4e58fa8664e (diff)
2 files changed, 498 insertions, 0 deletions
diff --git a/crates/ra_syntax/test_data/parser/ok/0051_parameter_attrs.rs b/crates/ra_syntax/test_data/parser/ok/0051_parameter_attrs.rs
new file mode 100644
index 000000000..de350d858
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/ok/0051_parameter_attrs.rs
@@ -0,0 +1,21 @@
+fn g1(#[attr1] #[attr2] pat: Type) {}
+fn g2(#[attr1] x: u8) {}
+extern "C" { fn printf(format: *const i8, #[attr] ...) -> i32; }
+fn foo<F: FnMut(#[attr] &mut Foo<'a>)>(){}
+trait Foo {
+    fn bar(#[attr] _: u64, # [attr] mut x: i32);
+}
+impl S {
+     fn f(#[must_use] self) {}
+     fn g1(#[attr] self) {}
+     fn g2(#[attr] &self) {}
+     fn g3<'a>(#[attr] &mut self) {}
+     fn g4<'a>(#[attr] &'a self) {}
+     fn g5<'a>(#[attr] &'a mut self) {}
+     fn c(#[attr] self: Self) {}
+     fn d(#[attr] self: Rc<Self>) {}
+}
+\ No newline at end of file
diff --git a/crates/ra_syntax/test_data/parser/ok/0051_parameter_attrs.txt b/crates/ra_syntax/test_data/parser/ok/0051_parameter_attrs.txt
new file mode 100644
index 000000000..b360f29f4
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/ok/0051_parameter_attrs.txt
@@ -0,0 +1,477 @@
+SOURCE_FILE@[0; 519)
+  FN_DEF@[0; 37)
+    FN_KW@[0; 2) "fn"
+    WHITESPACE@[2; 3) " "
+    NAME@[3; 5)
+      IDENT@[3; 5) "g1"
+    PARAM_LIST@[5; 34)
+      L_PAREN@[5; 6) "("
+      ATTR@[6; 14)
+        POUND@[6; 7) "#"
+        TOKEN_TREE@[7; 14)
+          L_BRACK@[7; 8) "["
+          IDENT@[8; 13) "attr1"
+          R_BRACK@[13; 14) "]"
+      WHITESPACE@[14; 15) " "
+      ATTR@[15; 23)
+        POUND@[15; 16) "#"
+        TOKEN_TREE@[16; 23)
+          L_BRACK@[16; 17) "["
+          IDENT@[17; 22) "attr2"
+          R_BRACK@[22; 23) "]"
+      WHITESPACE@[23; 24) " "
+      PARAM@[24; 33)
+        BIND_PAT@[24; 27)
+          NAME@[24; 27)
+            IDENT@[24; 27) "pat"
+        COLON@[27; 28) ":"
+        WHITESPACE@[28; 29) " "
+        PATH_TYPE@[29; 33)
+          PATH@[29; 33)
+            PATH_SEGMENT@[29; 33)
+              NAME_REF@[29; 33)
+                IDENT@[29; 33) "Type"
+      R_PAREN@[33; 34) ")"
+    WHITESPACE@[34; 35) " "
+    BLOCK@[35; 37)
+      L_CURLY@[35; 36) "{"
+      R_CURLY@[36; 37) "}"
+  WHITESPACE@[37; 38) "\n"
+  FN_DEF@[38; 62)
+    FN_KW@[38; 40) "fn"
+    WHITESPACE@[40; 41) " "
+    NAME@[41; 43)
+      IDENT@[41; 43) "g2"
+    PARAM_LIST@[43; 59)
+      L_PAREN@[43; 44) "("
+      ATTR@[44; 52)
+        POUND@[44; 45) "#"
+        TOKEN_TREE@[45; 52)
+          L_BRACK@[45; 46) "["
+          IDENT@[46; 51) "attr1"
+          R_BRACK@[51; 52) "]"
+      WHITESPACE@[52; 53) " "
+      PARAM@[53; 58)
+        BIND_PAT@[53; 54)
+          NAME@[53; 54)
+            IDENT@[53; 54) "x"
+        COLON@[54; 55) ":"
+        WHITESPACE@[55; 56) " "
+        PATH_TYPE@[56; 58)
+          PATH@[56; 58)
+            PATH_SEGMENT@[56; 58)
+              NAME_REF@[56; 58)
+                IDENT@[56; 58) "u8"
+      R_PAREN@[58; 59) ")"
+    WHITESPACE@[59; 60) " "
+    BLOCK@[60; 62)
+      L_CURLY@[60; 61) "{"
+      R_CURLY@[61; 62) "}"
+  WHITESPACE@[62; 64) "\n\n"
+  EXTERN_BLOCK@[64; 128)
+    ABI@[64; 74)
+      EXTERN_KW@[64; 70) "extern"
+      WHITESPACE@[70; 71) " "
+      STRING@[71; 74) "\"C\""
+    WHITESPACE@[74; 75) " "
+    EXTERN_ITEM_LIST@[75; 128)
+      L_CURLY@[75; 76) "{"
+      WHITESPACE@[76; 77) " "
+      FN_DEF@[77; 126)
+        FN_KW@[77; 79) "fn"
+        WHITESPACE@[79; 80) " "
+        NAME@[80; 86)
+          IDENT@[80; 86) "printf"
+        PARAM_LIST@[86; 118)
+          L_PAREN@[86; 87) "("
+          PARAM@[87; 104)
+            BIND_PAT@[87; 93)
+              NAME@[87; 93)
+                IDENT@[87; 93) "format"
+            COLON@[93; 94) ":"
+            WHITESPACE@[94; 95) " "
+            POINTER_TYPE@[95; 104)
+              STAR@[95; 96) "*"
+              CONST_KW@[96; 101) "const"
+              WHITESPACE@[101; 102) " "
+              PATH_TYPE@[102; 104)
+                PATH@[102; 104)
+                  PATH_SEGMENT@[102; 104)
+                    NAME_REF@[102; 104)
+                      IDENT@[102; 104) "i8"
+          COMMA@[104; 105) ","
+          WHITESPACE@[105; 106) " "
+          ATTR@[106; 113)
+            POUND@[106; 107) "#"
+            TOKEN_TREE@[107; 113)
+              L_BRACK@[107; 108) "["
+              IDENT@[108; 112) "attr"
+              R_BRACK@[112; 113) "]"
+          WHITESPACE@[113; 114) " "
+          DOTDOTDOT@[114; 117) "..."
+          R_PAREN@[117; 118) ")"
+        WHITESPACE@[118; 119) " "
+        RET_TYPE@[119; 125)
+          THIN_ARROW@[119; 121) "->"
+          WHITESPACE@[121; 122) " "
+          PATH_TYPE@[122; 125)
+            PATH@[122; 125)
+              PATH_SEGMENT@[122; 125)
+                NAME_REF@[122; 125)
+                  IDENT@[122; 125) "i32"
+        SEMI@[125; 126) ";"
+      WHITESPACE@[126; 127) " "
+      R_CURLY@[127; 128) "}"
+  WHITESPACE@[128; 130) "\n\n"
+  FN_DEF@[130; 172)
+    FN_KW@[130; 132) "fn"
+    WHITESPACE@[132; 133) " "
+    NAME@[133; 136)
+      IDENT@[133; 136) "foo"
+    TYPE_PARAM_LIST@[136; 168)
+      L_ANGLE@[136; 137) "<"
+      TYPE_PARAM@[137; 167)
+        NAME@[137; 138)
+          IDENT@[137; 138) "F"
+        COLON@[138; 139) ":"
+        WHITESPACE@[139; 140) " "
+        TYPE_BOUND_LIST@[140; 167)
+          TYPE_BOUND@[140; 167)
+            PATH_TYPE@[140; 167)
+              PATH@[140; 167)
+                PATH_SEGMENT@[140; 167)
+                  NAME_REF@[140; 145)
+                    IDENT@[140; 145) "FnMut"
+                  PARAM_LIST@[145; 167)
+                    L_PAREN@[145; 146) "("
+                    ATTR@[146; 153)
+                      POUND@[146; 147) "#"
+                      TOKEN_TREE@[147; 153)
+                        L_BRACK@[147; 148) "["
+                        IDENT@[148; 152) "attr"
+                        R_BRACK@[152; 153) "]"
+                    WHITESPACE@[153; 154) " "
+                    PARAM@[154; 166)
+                      REFERENCE_TYPE@[154; 166)
+                        AMP@[154; 155) "&"
+                        MUT_KW@[155; 158) "mut"
+                        WHITESPACE@[158; 159) " "
+                        PATH_TYPE@[159; 166)
+                          PATH@[159; 166)
+                            PATH_SEGMENT@[159; 166)
+                              NAME_REF@[159; 162)
+                                IDENT@[159; 162) "Foo"
+                              TYPE_ARG_LIST@[162; 166)
+                                L_ANGLE@[162; 163) "<"
+                                LIFETIME_ARG@[163; 165)
+                                  LIFETIME@[163; 165) "\'a"
+                                R_ANGLE@[165; 166) ">"
+                    R_PAREN@[166; 167) ")"
+      R_ANGLE@[167; 168) ">"
+    PARAM_LIST@[168; 170)
+      L_PAREN@[168; 169) "("
+      R_PAREN@[169; 170) ")"
+    BLOCK@[170; 172)
+      L_CURLY@[170; 171) "{"
+      R_CURLY@[171; 172) "}"
+  WHITESPACE@[172; 174) "\n\n"
+  TRAIT_DEF@[174; 236)
+    TRAIT_KW@[174; 179) "trait"
+    WHITESPACE@[179; 180) " "
+    NAME@[180; 183)
+      IDENT@[180; 183) "Foo"
+    WHITESPACE@[183; 184) " "
+    ITEM_LIST@[184; 236)
+      L_CURLY@[184; 185) "{"
+      WHITESPACE@[185; 190) "\n    "
+      FN_DEF@[190; 234)
+        FN_KW@[190; 192) "fn"
+        WHITESPACE@[192; 193) " "
+        NAME@[193; 196)
+          IDENT@[193; 196) "bar"
+        PARAM_LIST@[196; 233)
+          L_PAREN@[196; 197) "("
+          ATTR@[197; 204)
+            POUND@[197; 198) "#"
+            TOKEN_TREE@[198; 204)
+              L_BRACK@[198; 199) "["
+              IDENT@[199; 203) "attr"
+              R_BRACK@[203; 204) "]"
+          WHITESPACE@[204; 205) " "
+          PARAM@[205; 211)
+            PLACEHOLDER_PAT@[205; 206)
+              UNDERSCORE@[205; 206) "_"
+            COLON@[206; 207) ":"
+            WHITESPACE@[207; 208) " "
+            PATH_TYPE@[208; 211)
+              PATH@[208; 211)
+                PATH_SEGMENT@[208; 211)
+                  NAME_REF@[208; 211)
+                    IDENT@[208; 211) "u64"
+          COMMA@[211; 212) ","
+          WHITESPACE@[212; 213) " "
+          ATTR@[213; 221)
+            POUND@[213; 214) "#"
+            WHITESPACE@[214; 215) " "
+            TOKEN_TREE@[215; 221)
+              L_BRACK@[215; 216) "["
+              IDENT@[216; 220) "attr"
+              R_BRACK@[220; 221) "]"
+          WHITESPACE@[221; 222) " "
+          PARAM@[222; 232)
+            BIND_PAT@[222; 227)
+              MUT_KW@[222; 225) "mut"
+              WHITESPACE@[225; 226) " "
+              NAME@[226; 227)
+                IDENT@[226; 227) "x"
+            COLON@[227; 228) ":"
+            WHITESPACE@[228; 229) " "
+            PATH_TYPE@[229; 232)
+              PATH@[229; 232)
+                PATH_SEGMENT@[229; 232)
+                  NAME_REF@[229; 232)
+                    IDENT@[229; 232) "i32"
+          R_PAREN@[232; 233) ")"
+        SEMI@[233; 234) ";"
+      WHITESPACE@[234; 235) "\n"
+      R_CURLY@[235; 236) "}"
+  WHITESPACE@[236; 238) "\n\n"
+  IMPL_BLOCK@[238; 519)
+    IMPL_KW@[238; 242) "impl"
+    WHITESPACE@[242; 243) " "
+    PATH_TYPE@[243; 244)
+      PATH@[243; 244)
+        PATH_SEGMENT@[243; 244)
+          NAME_REF@[243; 244)
+            IDENT@[243; 244) "S"
+    WHITESPACE@[244; 245) " "
+    ITEM_LIST@[245; 519)
+      L_CURLY@[245; 246) "{"
+      WHITESPACE@[246; 252) "\n     "
+      FN_DEF@[252; 277)
+        FN_KW@[252; 254) "fn"
+        WHITESPACE@[254; 255) " "
+        NAME@[255; 256)
+          IDENT@[255; 256) "f"
+        PARAM_LIST@[256; 274)
+          L_PAREN@[256; 257) "("
+          ATTR@[257; 268)
+            POUND@[257; 258) "#"
+            TOKEN_TREE@[258; 268)
+              L_BRACK@[258; 259) "["
+              IDENT@[259; 267) "must_use"
+              R_BRACK@[267; 268) "]"
+          WHITESPACE@[268; 269) " "
+          SELF_PARAM@[269; 273)
+            SELF_KW@[269; 273) "self"
+          R_PAREN@[273; 274) ")"
+        WHITESPACE@[274; 275) " "
+        BLOCK@[275; 277)
+          L_CURLY@[275; 276) "{"
+          R_CURLY@[276; 277) "}"
+      WHITESPACE@[277; 283) "\n     "
+      FN_DEF@[283; 305)
+        FN_KW@[283; 285) "fn"
+        WHITESPACE@[285; 286) " "
+        NAME@[286; 288)
+          IDENT@[286; 288) "g1"
+        PARAM_LIST@[288; 302)
+          L_PAREN@[288; 289) "("
+          ATTR@[289; 296)
+            POUND@[289; 290) "#"
+            TOKEN_TREE@[290; 296)
+              L_BRACK@[290; 291) "["
+              IDENT@[291; 295) "attr"
+              R_BRACK@[295; 296) "]"
+          WHITESPACE@[296; 297) " "
+          SELF_PARAM@[297; 301)
+            SELF_KW@[297; 301) "self"
+          R_PAREN@[301; 302) ")"
+        WHITESPACE@[302; 303) " "
+        BLOCK@[303; 305)
+          L_CURLY@[303; 304) "{"
+          R_CURLY@[304; 305) "}"
+      WHITESPACE@[305; 311) "\n     "
+      FN_DEF@[311; 334)
+        FN_KW@[311; 313) "fn"
+        WHITESPACE@[313; 314) " "
+        NAME@[314; 316)
+          IDENT@[314; 316) "g2"
+        PARAM_LIST@[316; 331)
+          L_PAREN@[316; 317) "("
+          ATTR@[317; 324)
+            POUND@[317; 318) "#"
+            TOKEN_TREE@[318; 324)
+              L_BRACK@[318; 319) "["
+              IDENT@[319; 323) "attr"
+              R_BRACK@[323; 324) "]"
+          WHITESPACE@[324; 325) " "
+          SELF_PARAM@[325; 330)
+            AMP@[325; 326) "&"
+            SELF_KW@[326; 330) "self"
+          R_PAREN@[330; 331) ")"
+        WHITESPACE@[331; 332) " "
+        BLOCK@[332; 334)
+          L_CURLY@[332; 333) "{"
+          R_CURLY@[333; 334) "}"
+      WHITESPACE@[334; 340) "\n     "
+      FN_DEF@[340; 371)
+        FN_KW@[340; 342) "fn"
+        WHITESPACE@[342; 343) " "
+        NAME@[343; 345)
+          IDENT@[343; 345) "g3"
+        TYPE_PARAM_LIST@[345; 349)
+          L_ANGLE@[345; 346) "<"
+          LIFETIME_PARAM@[346; 348)
+            LIFETIME@[346; 348) "\'a"
+          R_ANGLE@[348; 349) ">"
+        PARAM_LIST@[349; 368)
+          L_PAREN@[349; 350) "("
+          ATTR@[350; 357)
+            POUND@[350; 351) "#"
+            TOKEN_TREE@[351; 357)
+              L_BRACK@[351; 352) "["
+              IDENT@[352; 356) "attr"
+              R_BRACK@[356; 357) "]"
+          WHITESPACE@[357; 358) " "
+          SELF_PARAM@[358; 367)
+            AMP@[358; 359) "&"
+            MUT_KW@[359; 362) "mut"
+            WHITESPACE@[362; 363) " "
+            SELF_KW@[363; 367) "self"
+          R_PAREN@[367; 368) ")"
+        WHITESPACE@[368; 369) " "
+        BLOCK@[369; 371)
+          L_CURLY@[369; 370) "{"
+          R_CURLY@[370; 371) "}"
+      WHITESPACE@[371; 377) "\n     "
+      FN_DEF@[377; 407)
+        FN_KW@[377; 379) "fn"
+        WHITESPACE@[379; 380) " "
+        NAME@[380; 382)
+          IDENT@[380; 382) "g4"
+        TYPE_PARAM_LIST@[382; 386)
+          L_ANGLE@[382; 383) "<"
+          LIFETIME_PARAM@[383; 385)
+            LIFETIME@[383; 385) "\'a"
+          R_ANGLE@[385; 386) ">"
+        PARAM_LIST@[386; 404)
+          L_PAREN@[386; 387) "("
+          ATTR@[387; 394)
+            POUND@[387; 388) "#"
+            TOKEN_TREE@[388; 394)
+              L_BRACK@[388; 389) "["
+              IDENT@[389; 393) "attr"
+              R_BRACK@[393; 394) "]"
+          WHITESPACE@[394; 395) " "
+          SELF_PARAM@[395; 403)
+            AMP@[395; 396) "&"
+            LIFETIME@[396; 398) "\'a"
+            WHITESPACE@[398; 399) " "
+            SELF_KW@[399; 403) "self"
+          R_PAREN@[403; 404) ")"
+        WHITESPACE@[404; 405) " "
+        BLOCK@[405; 407)
+          L_CURLY@[405; 406) "{"
+          R_CURLY@[406; 407) "}"
+      WHITESPACE@[407; 413) "\n     "
+      FN_DEF@[413; 447)
+        FN_KW@[413; 415) "fn"
+        WHITESPACE@[415; 416) " "
+        NAME@[416; 418)
+          IDENT@[416; 418) "g5"
+        TYPE_PARAM_LIST@[418; 422)
+          L_ANGLE@[418; 419) "<"
+          LIFETIME_PARAM@[419; 421)
+            LIFETIME@[419; 421) "\'a"
+          R_ANGLE@[421; 422) ">"
+        PARAM_LIST@[422; 444)
+          L_PAREN@[422; 423) "("
+          ATTR@[423; 430)
+            POUND@[423; 424) "#"
+            TOKEN_TREE@[424; 430)
+              L_BRACK@[424; 425) "["
+              IDENT@[425; 429) "attr"
+              R_BRACK@[429; 430) "]"
+          WHITESPACE@[430; 431) " "
+          SELF_PARAM@[431; 443)
+            AMP@[431; 432) "&"
+            LIFETIME@[432; 434) "\'a"
+            WHITESPACE@[434; 435) " "
+            MUT_KW@[435; 438) "mut"
+            WHITESPACE@[438; 439) " "
+            SELF_KW@[439; 443) "self"
+          R_PAREN@[443; 444) ")"
+        WHITESPACE@[444; 445) " "
+        BLOCK@[445; 447)
+          L_CURLY@[445; 446) "{"
+          R_CURLY@[446; 447) "}"
+      WHITESPACE@[447; 453) "\n     "
+      FN_DEF@[453; 480)
+        FN_KW@[453; 455) "fn"
+        WHITESPACE@[455; 456) " "
+        NAME@[456; 457)
+          IDENT@[456; 457) "c"
+        PARAM_LIST@[457; 477)
+          L_PAREN@[457; 458) "("
+          ATTR@[458; 465)
+            POUND@[458; 459) "#"
+            TOKEN_TREE@[459; 465)
+              L_BRACK@[459; 460) "["
+              IDENT@[460; 464) "attr"
+              R_BRACK@[464; 465) "]"
+          WHITESPACE@[465; 466) " "
+          SELF_PARAM@[466; 476)
+            SELF_KW@[466; 470) "self"
+            COLON@[470; 471) ":"
+            WHITESPACE@[471; 472) " "
+            PATH_TYPE@[472; 476)
+              PATH@[472; 476)
+                PATH_SEGMENT@[472; 476)
+                  NAME_REF@[472; 476)
+                    IDENT@[472; 476) "Self"
+          R_PAREN@[476; 477) ")"
+        WHITESPACE@[477; 478) " "
+        BLOCK@[478; 480)
+          L_CURLY@[478; 479) "{"
+          R_CURLY@[479; 480) "}"
+      WHITESPACE@[480; 486) "\n     "
+      FN_DEF@[486; 517)
+        FN_KW@[486; 488) "fn"
+        WHITESPACE@[488; 489) " "
+        NAME@[489; 490)
+          IDENT@[489; 490) "d"
+        PARAM_LIST@[490; 514)
+          L_PAREN@[490; 491) "("
+          ATTR@[491; 498)
+            POUND@[491; 492) "#"
+            TOKEN_TREE@[492; 498)
+              L_BRACK@[492; 493) "["
+              IDENT@[493; 497) "attr"
+              R_BRACK@[497; 498) "]"
+          WHITESPACE@[498; 499) " "
+          SELF_PARAM@[499; 513)
+            SELF_KW@[499; 503) "self"
+            COLON@[503; 504) ":"
+            WHITESPACE@[504; 505) " "
+            PATH_TYPE@[505; 513)
+              PATH@[505; 513)
+                PATH_SEGMENT@[505; 513)
+                  NAME_REF@[505; 507)
+                    IDENT@[505; 507) "Rc"
+                  TYPE_ARG_LIST@[507; 513)
+                    L_ANGLE@[507; 508) "<"
+                    TYPE_ARG@[508; 512)
+                      PATH_TYPE@[508; 512)
+                        PATH@[508; 512)
+                          PATH_SEGMENT@[508; 512)
+                            NAME_REF@[508; 512)
+                              IDENT@[508; 512) "Self"
+                    R_ANGLE@[512; 513) ">"
+          R_PAREN@[513; 514) ")"
+        WHITESPACE@[514; 515) " "
+        BLOCK@[515; 517)
+          L_CURLY@[515; 516) "{"
+          R_CURLY@[516; 517) "}"
+      WHITESPACE@[517; 518) "\n"
+      R_CURLY@[518; 519) "}"
author	bors[bot] <26634292+bors[bot]@users.noreply.github.com>	2019-08-08 14:04:28 +0100
committer	bors[bot] <26634292+bors[bot]@users.noreply.github.com>	2019-08-08 14:04:28 +0100
commit	87608904f697a3f58ddb71a7f6828dac80f8b3ce (patch)
tree	11907e37146390bd033a9667995a5e8c9d61a9ed /crates/ra_syntax/test_data/parser/ok
parent	de4523fae07a2bf0c058d021bd4cfdb53946c4bf (diff)
parent	6fa2d8214784b6ecfc3fbcd98778d4e58fa8664e (diff)

diff --git a/crates/ra_syntax/test_data/parser/ok/0051_parameter_attrs.rs b/crates/ra_syntax/test_data/parser/ok/0051_parameter_attrs.rs new file mode 100644 index 000000000..de350d858 --- /dev/null +++ b/crates/ra_syntax/test_data/parser/ok/0051_parameter_attrs.rs
@@ -0,0 +1,21 @@
	1	fn g1(#[attr1] #[attr2] pat: Type) {}
	2	fn g2(#[attr1] x: u8) {}
	3
	4	extern "C" { fn printf(format: *const i8, #[attr] ...) -> i32; }
	5
	6	fn foo<F: FnMut(#[attr] &mut Foo<'a>)>(){}
	7
	8	trait Foo {
	9	fn bar(#[attr] _: u64, # [attr] mut x: i32);
	10	}
	11
	12	impl S {
	13	fn f(#[must_use] self) {}
	14	fn g1(#[attr] self) {}
	15	fn g2(#[attr] &self) {}
	16	fn g3<'a>(#[attr] &mut self) {}
	17	fn g4<'a>(#[attr] &'a self) {}
	18	fn g5<'a>(#[attr] &'a mut self) {}
	19	fn c(#[attr] self: Self) {}
	20	fn d(#[attr] self: Rc<Self>) {}
	21	} \ No newline at end of file


diff --git a/crates/ra_syntax/test_data/parser/ok/0051_parameter_attrs.txt b/crates/ra_syntax/test_data/parser/ok/0051_parameter_attrs.txt new file mode 100644 index 000000000..b360f29f4 --- /dev/null +++ b/crates/ra_syntax/test_data/parser/ok/0051_parameter_attrs.txt
@@ -0,0 +1,477 @@
	1	SOURCE_FILE@[0; 519)
	2	FN_DEF@[0; 37)
	3	FN_KW@[0; 2) "fn"
	4	WHITESPACE@[2; 3) " "
	5	NAME@[3; 5)
	6	IDENT@[3; 5) "g1"
	7	PARAM_LIST@[5; 34)
	8	L_PAREN@[5; 6) "("
	9	ATTR@[6; 14)
	10	POUND@[6; 7) "#"
	11	TOKEN_TREE@[7; 14)
	12	L_BRACK@[7; 8) "["
	13	IDENT@[8; 13) "attr1"
	14	R_BRACK@[13; 14) "]"
	15	WHITESPACE@[14; 15) " "
	16	ATTR@[15; 23)
	17	POUND@[15; 16) "#"
	18	TOKEN_TREE@[16; 23)
	19	L_BRACK@[16; 17) "["
	20	IDENT@[17; 22) "attr2"
	21	R_BRACK@[22; 23) "]"
	22	WHITESPACE@[23; 24) " "
	23	PARAM@[24; 33)
	24	BIND_PAT@[24; 27)
	25	NAME@[24; 27)
	26	IDENT@[24; 27) "pat"
	27	COLON@[27; 28) ":"
	28	WHITESPACE@[28; 29) " "
	29	PATH_TYPE@[29; 33)
	30	PATH@[29; 33)
	31	PATH_SEGMENT@[29; 33)
	32	NAME_REF@[29; 33)
	33	IDENT@[29; 33) "Type"
	34	R_PAREN@[33; 34) ")"
	35	WHITESPACE@[34; 35) " "
	36	BLOCK@[35; 37)
	37	L_CURLY@[35; 36) "{"
	38	R_CURLY@[36; 37) "}"
	39	WHITESPACE@[37; 38) "\n"
	40	FN_DEF@[38; 62)
	41	FN_KW@[38; 40) "fn"
	42	WHITESPACE@[40; 41) " "
	43	NAME@[41; 43)
	44	IDENT@[41; 43) "g2"
	45	PARAM_LIST@[43; 59)
	46	L_PAREN@[43; 44) "("
	47	ATTR@[44; 52)
	48	POUND@[44; 45) "#"
	49	TOKEN_TREE@[45; 52)
	50	L_BRACK@[45; 46) "["
	51	IDENT@[46; 51) "attr1"
	52	R_BRACK@[51; 52) "]"
	53	WHITESPACE@[52; 53) " "
	54	PARAM@[53; 58)
	55	BIND_PAT@[53; 54)
	56	NAME@[53; 54)
	57	IDENT@[53; 54) "x"
	58	COLON@[54; 55) ":"
	59	WHITESPACE@[55; 56) " "
	60	PATH_TYPE@[56; 58)
	61	PATH@[56; 58)
	62	PATH_SEGMENT@[56; 58)
	63	NAME_REF@[56; 58)
	64	IDENT@[56; 58) "u8"
	65	R_PAREN@[58; 59) ")"
	66	WHITESPACE@[59; 60) " "
	67	BLOCK@[60; 62)
	68	L_CURLY@[60; 61) "{"
	69	R_CURLY@[61; 62) "}"
	70	WHITESPACE@[62; 64) "\n\n"
	71	EXTERN_BLOCK@[64; 128)
	72	ABI@[64; 74)
	73	EXTERN_KW@[64; 70) "extern"
	74	WHITESPACE@[70; 71) " "
	75	STRING@[71; 74) "\"C\""
	76	WHITESPACE@[74; 75) " "
	77	EXTERN_ITEM_LIST@[75; 128)
	78	L_CURLY@[75; 76) "{"
	79	WHITESPACE@[76; 77) " "
	80	FN_DEF@[77; 126)
	81	FN_KW@[77; 79) "fn"
	82	WHITESPACE@[79; 80) " "
	83	NAME@[80; 86)
	84	IDENT@[80; 86) "printf"
	85	PARAM_LIST@[86; 118)
	86	L_PAREN@[86; 87) "("
	87	PARAM@[87; 104)
	88	BIND_PAT@[87; 93)
	89	NAME@[87; 93)
	90	IDENT@[87; 93) "format"
	91	COLON@[93; 94) ":"
	92	WHITESPACE@[94; 95) " "
	93	POINTER_TYPE@[95; 104)
	94	STAR@[95; 96) "*"
	95	CONST_KW@[96; 101) "const"
	96	WHITESPACE@[101; 102) " "
	97	PATH_TYPE@[102; 104)
	98	PATH@[102; 104)
	99	PATH_SEGMENT@[102; 104)
	100	NAME_REF@[102; 104)
	101	IDENT@[102; 104) "i8"
	102	COMMA@[104; 105) ","
	103	WHITESPACE@[105; 106) " "
	104	ATTR@[106; 113)
	105	POUND@[106; 107) "#"
	106	TOKEN_TREE@[107; 113)
	107	L_BRACK@[107; 108) "["
	108	IDENT@[108; 112) "attr"
	109	R_BRACK@[112; 113) "]"
	110	WHITESPACE@[113; 114) " "
	111	DOTDOTDOT@[114; 117) "..."
	112	R_PAREN@[117; 118) ")"
	113	WHITESPACE@[118; 119) " "
	114	RET_TYPE@[119; 125)
	115	THIN_ARROW@[119; 121) "->"
	116	WHITESPACE@[121; 122) " "
	117	PATH_TYPE@[122; 125)
	118	PATH@[122; 125)
	119	PATH_SEGMENT@[122; 125)
	120	NAME_REF@[122; 125)
	121	IDENT@[122; 125) "i32"
	122	SEMI@[125; 126) ";"
	123	WHITESPACE@[126; 127) " "
	124	R_CURLY@[127; 128) "}"
	125	WHITESPACE@[128; 130) "\n\n"
	126	FN_DEF@[130; 172)
	127	FN_KW@[130; 132) "fn"
	128	WHITESPACE@[132; 133) " "
	129	NAME@[133; 136)
	130	IDENT@[133; 136) "foo"
	131	TYPE_PARAM_LIST@[136; 168)
	132	L_ANGLE@[136; 137) "<"
	133	TYPE_PARAM@[137; 167)
	134	NAME@[137; 138)
	135	IDENT@[137; 138) "F"
	136	COLON@[138; 139) ":"
	137	WHITESPACE@[139; 140) " "
	138	TYPE_BOUND_LIST@[140; 167)
	139	TYPE_BOUND@[140; 167)
	140	PATH_TYPE@[140; 167)
	141	PATH@[140; 167)
	142	PATH_SEGMENT@[140; 167)
	143	NAME_REF@[140; 145)
	144	IDENT@[140; 145) "FnMut"
	145	PARAM_LIST@[145; 167)
	146	L_PAREN@[145; 146) "("
	147	ATTR@[146; 153)
	148	POUND@[146; 147) "#"
	149	TOKEN_TREE@[147; 153)
	150	L_BRACK@[147; 148) "["
	151	IDENT@[148; 152) "attr"
	152	R_BRACK@[152; 153) "]"
	153	WHITESPACE@[153; 154) " "
	154	PARAM@[154; 166)
	155	REFERENCE_TYPE@[154; 166)
	156	AMP@[154; 155) "&"
	157	MUT_KW@[155; 158) "mut"
	158	WHITESPACE@[158; 159) " "
	159	PATH_TYPE@[159; 166)
	160	PATH@[159; 166)
	161	PATH_SEGMENT@[159; 166)
	162	NAME_REF@[159; 162)
	163	IDENT@[159; 162) "Foo"
	164	TYPE_ARG_LIST@[162; 166)
	165	L_ANGLE@[162; 163) "<"
	166	LIFETIME_ARG@[163; 165)
	167	LIFETIME@[163; 165) "\'a"
	168	R_ANGLE@[165; 166) ">"
	169	R_PAREN@[166; 167) ")"
	170	R_ANGLE@[167; 168) ">"
	171	PARAM_LIST@[168; 170)
	172	L_PAREN@[168; 169) "("
	173	R_PAREN@[169; 170) ")"
	174	BLOCK@[170; 172)
	175	L_CURLY@[170; 171) "{"
	176	R_CURLY@[171; 172) "}"
	177	WHITESPACE@[172; 174) "\n\n"
	178	TRAIT_DEF@[174; 236)
	179	TRAIT_KW@[174; 179) "trait"
	180	WHITESPACE@[179; 180) " "
	181	NAME@[180; 183)
	182	IDENT@[180; 183) "Foo"
	183	WHITESPACE@[183; 184) " "
	184	ITEM_LIST@[184; 236)
	185	L_CURLY@[184; 185) "{"
	186	WHITESPACE@[185; 190) "\n "
	187	FN_DEF@[190; 234)
	188	FN_KW@[190; 192) "fn"
	189	WHITESPACE@[192; 193) " "
	190	NAME@[193; 196)
	191	IDENT@[193; 196) "bar"
	192	PARAM_LIST@[196; 233)
	193	L_PAREN@[196; 197) "("
	194	ATTR@[197; 204)
	195	POUND@[197; 198) "#"
	196	TOKEN_TREE@[198; 204)
	197	L_BRACK@[198; 199) "["
	198	IDENT@[199; 203) "attr"
	199	R_BRACK@[203; 204) "]"
	200	WHITESPACE@[204; 205) " "
	201	PARAM@[205; 211)
	202	PLACEHOLDER_PAT@[205; 206)
	203	UNDERSCORE@[205; 206) "_"
	204	COLON@[206; 207) ":"
	205	WHITESPACE@[207; 208) " "
	206	PATH_TYPE@[208; 211)
	207	PATH@[208; 211)
	208	PATH_SEGMENT@[208; 211)
	209	NAME_REF@[208; 211)
	210	IDENT@[208; 211) "u64"
	211	COMMA@[211; 212) ","
	212	WHITESPACE@[212; 213) " "
	213	ATTR@[213; 221)
	214	POUND@[213; 214) "#"
	215	WHITESPACE@[214; 215) " "
	216	TOKEN_TREE@[215; 221)
	217	L_BRACK@[215; 216) "["
	218	IDENT@[216; 220) "attr"
	219	R_BRACK@[220; 221) "]"
	220	WHITESPACE@[221; 222) " "
	221	PARAM@[222; 232)
	222	BIND_PAT@[222; 227)
	223	MUT_KW@[222; 225) "mut"
	224	WHITESPACE@[225; 226) " "
	225	NAME@[226; 227)
	226	IDENT@[226; 227) "x"
	227	COLON@[227; 228) ":"
	228	WHITESPACE@[228; 229) " "
	229	PATH_TYPE@[229; 232)
	230	PATH@[229; 232)
	231	PATH_SEGMENT@[229; 232)
	232	NAME_REF@[229; 232)
	233	IDENT@[229; 232) "i32"
	234	R_PAREN@[232; 233) ")"
	235	SEMI@[233; 234) ";"
	236	WHITESPACE@[234; 235) "\n"
	237	R_CURLY@[235; 236) "}"
	238	WHITESPACE@[236; 238) "\n\n"
	239	IMPL_BLOCK@[238; 519)
	240	IMPL_KW@[238; 242) "impl"
	241	WHITESPACE@[242; 243) " "
	242	PATH_TYPE@[243; 244)
	243	PATH@[243; 244)
	244	PATH_SEGMENT@[243; 244)
	245	NAME_REF@[243; 244)
	246	IDENT@[243; 244) "S"
	247	WHITESPACE@[244; 245) " "
	248	ITEM_LIST@[245; 519)
	249	L_CURLY@[245; 246) "{"
	250	WHITESPACE@[246; 252) "\n "
	251	FN_DEF@[252; 277)
	252	FN_KW@[252; 254) "fn"
	253	WHITESPACE@[254; 255) " "
	254	NAME@[255; 256)
	255	IDENT@[255; 256) "f"
	256	PARAM_LIST@[256; 274)
	257	L_PAREN@[256; 257) "("
	258	ATTR@[257; 268)
	259	POUND@[257; 258) "#"
	260	TOKEN_TREE@[258; 268)
	261	L_BRACK@[258; 259) "["
	262	IDENT@[259; 267) "must_use"
	263	R_BRACK@[267; 268) "]"
	264	WHITESPACE@[268; 269) " "
	265	SELF_PARAM@[269; 273)
	266	SELF_KW@[269; 273) "self"
	267	R_PAREN@[273; 274) ")"
	268	WHITESPACE@[274; 275) " "
	269	BLOCK@[275; 277)
	270	L_CURLY@[275; 276) "{"
	271	R_CURLY@[276; 277) "}"
	272	WHITESPACE@[277; 283) "\n "
	273	FN_DEF@[283; 305)
	274	FN_KW@[283; 285) "fn"
	275	WHITESPACE@[285; 286) " "
	276	NAME@[286; 288)
	277	IDENT@[286; 288) "g1"
	278	PARAM_LIST@[288; 302)
	279	L_PAREN@[288; 289) "("
	280	ATTR@[289; 296)
	281	POUND@[289; 290) "#"
	282	TOKEN_TREE@[290; 296)
	283	L_BRACK@[290; 291) "["
	284	IDENT@[291; 295) "attr"
	285	R_BRACK@[295; 296) "]"
	286	WHITESPACE@[296; 297) " "
	287	SELF_PARAM@[297; 301)
	288	SELF_KW@[297; 301) "self"
	289	R_PAREN@[301; 302) ")"
	290	WHITESPACE@[302; 303) " "
	291	BLOCK@[303; 305)
	292	L_CURLY@[303; 304) "{"
	293	R_CURLY@[304; 305) "}"
	294	WHITESPACE@[305; 311) "\n "
	295	FN_DEF@[311; 334)
	296	FN_KW@[311; 313) "fn"
	297	WHITESPACE@[313; 314) " "
	298	NAME@[314; 316)
	299	IDENT@[314; 316) "g2"
	300	PARAM_LIST@[316; 331)
	301	L_PAREN@[316; 317) "("
	302	ATTR@[317; 324)
	303	POUND@[317; 318) "#"
	304	TOKEN_TREE@[318; 324)
	305	L_BRACK@[318; 319) "["
	306	IDENT@[319; 323) "attr"
	307	R_BRACK@[323; 324) "]"
	308	WHITESPACE@[324; 325) " "
	309	SELF_PARAM@[325; 330)
	310	AMP@[325; 326) "&"
	311	SELF_KW@[326; 330) "self"
	312	R_PAREN@[330; 331) ")"
	313	WHITESPACE@[331; 332) " "
	314	BLOCK@[332; 334)
	315	L_CURLY@[332; 333) "{"
	316	R_CURLY@[333; 334) "}"
	317	WHITESPACE@[334; 340) "\n "
	318	FN_DEF@[340; 371)
	319	FN_KW@[340; 342) "fn"
	320	WHITESPACE@[342; 343) " "
	321	NAME@[343; 345)
	322	IDENT@[343; 345) "g3"
	323	TYPE_PARAM_LIST@[345; 349)
	324	L_ANGLE@[345; 346) "<"
	325	LIFETIME_PARAM@[346; 348)
	326	LIFETIME@[346; 348) "\'a"
	327	R_ANGLE@[348; 349) ">"
	328	PARAM_LIST@[349; 368)
	329	L_PAREN@[349; 350) "("
	330	ATTR@[350; 357)
	331	POUND@[350; 351) "#"
	332	TOKEN_TREE@[351; 357)
	333	L_BRACK@[351; 352) "["
	334	IDENT@[352; 356) "attr"
	335	R_BRACK@[356; 357) "]"
	336	WHITESPACE@[357; 358) " "
	337	SELF_PARAM@[358; 367)
	338	AMP@[358; 359) "&"
	339	MUT_KW@[359; 362) "mut"
	340	WHITESPACE@[362; 363) " "
	341	SELF_KW@[363; 367) "self"
	342	R_PAREN@[367; 368) ")"
	343	WHITESPACE@[368; 369) " "
	344	BLOCK@[369; 371)
	345	L_CURLY@[369; 370) "{"
	346	R_CURLY@[370; 371) "}"
	347	WHITESPACE@[371; 377) "\n "
	348	FN_DEF@[377; 407)
	349	FN_KW@[377; 379) "fn"
	350	WHITESPACE@[379; 380) " "
	351	NAME@[380; 382)
	352	IDENT@[380; 382) "g4"
	353	TYPE_PARAM_LIST@[382; 386)
	354	L_ANGLE@[382; 383) "<"
	355	LIFETIME_PARAM@[383; 385)
	356	LIFETIME@[383; 385) "\'a"
	357	R_ANGLE@[385; 386) ">"
	358	PARAM_LIST@[386; 404)
	359	L_PAREN@[386; 387) "("
	360	ATTR@[387; 394)
	361	POUND@[387; 388) "#"
	362	TOKEN_TREE@[388; 394)
	363	L_BRACK@[388; 389) "["
	364	IDENT@[389; 393) "attr"
	365	R_BRACK@[393; 394) "]"
	366	WHITESPACE@[394; 395) " "
	367	SELF_PARAM@[395; 403)
	368	AMP@[395; 396) "&"
	369	LIFETIME@[396; 398) "\'a"
	370	WHITESPACE@[398; 399) " "
	371	SELF_KW@[399; 403) "self"
	372	R_PAREN@[403; 404) ")"
	373	WHITESPACE@[404; 405) " "
	374	BLOCK@[405; 407)
	375	L_CURLY@[405; 406) "{"
	376	R_CURLY@[406; 407) "}"
	377	WHITESPACE@[407; 413) "\n "
	378	FN_DEF@[413; 447)
	379	FN_KW@[413; 415) "fn"
	380	WHITESPACE@[415; 416) " "
	381	NAME@[416; 418)
	382	IDENT@[416; 418) "g5"
	383	TYPE_PARAM_LIST@[418; 422)
	384	L_ANGLE@[418; 419) "<"
	385	LIFETIME_PARAM@[419; 421)
	386	LIFETIME@[419; 421) "\'a"
	387	R_ANGLE@[421; 422) ">"
	388	PARAM_LIST@[422; 444)
	389	L_PAREN@[422; 423) "("
	390	ATTR@[423; 430)
	391	POUND@[423; 424) "#"
	392	TOKEN_TREE@[424; 430)
	393	L_BRACK@[424; 425) "["
	394	IDENT@[425; 429) "attr"
	395	R_BRACK@[429; 430) "]"
	396	WHITESPACE@[430; 431) " "
	397	SELF_PARAM@[431; 443)
	398	AMP@[431; 432) "&"
	399	LIFETIME@[432; 434) "\'a"
	400	WHITESPACE@[434; 435) " "
	401	MUT_KW@[435; 438) "mut"
	402	WHITESPACE@[438; 439) " "
	403	SELF_KW@[439; 443) "self"
	404	R_PAREN@[443; 444) ")"
	405	WHITESPACE@[444; 445) " "
	406	BLOCK@[445; 447)
	407	L_CURLY@[445; 446) "{"
	408	R_CURLY@[446; 447) "}"
	409	WHITESPACE@[447; 453) "\n "
	410	FN_DEF@[453; 480)
	411	FN_KW@[453; 455) "fn"
	412	WHITESPACE@[455; 456) " "
	413	NAME@[456; 457)
	414	IDENT@[456; 457) "c"
	415	PARAM_LIST@[457; 477)
	416	L_PAREN@[457; 458) "("
	417	ATTR@[458; 465)
	418	POUND@[458; 459) "#"
	419	TOKEN_TREE@[459; 465)
	420	L_BRACK@[459; 460) "["
	421	IDENT@[460; 464) "attr"
	422	R_BRACK@[464; 465) "]"
	423	WHITESPACE@[465; 466) " "
	424	SELF_PARAM@[466; 476)
	425	SELF_KW@[466; 470) "self"
	426	COLON@[470; 471) ":"
	427	WHITESPACE@[471; 472) " "
	428	PATH_TYPE@[472; 476)
	429	PATH@[472; 476)
	430	PATH_SEGMENT@[472; 476)
	431	NAME_REF@[472; 476)
	432	IDENT@[472; 476) "Self"
	433	R_PAREN@[476; 477) ")"
	434	WHITESPACE@[477; 478) " "
	435	BLOCK@[478; 480)
	436	L_CURLY@[478; 479) "{"
	437	R_CURLY@[479; 480) "}"
	438	WHITESPACE@[480; 486) "\n "
	439	FN_DEF@[486; 517)
	440	FN_KW@[486; 488) "fn"
	441	WHITESPACE@[488; 489) " "
	442	NAME@[489; 490)
	443	IDENT@[489; 490) "d"
	444	PARAM_LIST@[490; 514)
	445	L_PAREN@[490; 491) "("
	446	ATTR@[491; 498)
	447	POUND@[491; 492) "#"
	448	TOKEN_TREE@[492; 498)
	449	L_BRACK@[492; 493) "["
	450	IDENT@[493; 497) "attr"
	451	R_BRACK@[497; 498) "]"
	452	WHITESPACE@[498; 499) " "
	453	SELF_PARAM@[499; 513)
	454	SELF_KW@[499; 503) "self"
	455	COLON@[503; 504) ":"
	456	WHITESPACE@[504; 505) " "
	457	PATH_TYPE@[505; 513)
	458	PATH@[505; 513)
	459	PATH_SEGMENT@[505; 513)
	460	NAME_REF@[505; 507)
	461	IDENT@[505; 507) "Rc"
	462	TYPE_ARG_LIST@[507; 513)
	463	L_ANGLE@[507; 508) "<"
	464	TYPE_ARG@[508; 512)
	465	PATH_TYPE@[508; 512)
	466	PATH@[508; 512)
	467	PATH_SEGMENT@[508; 512)
	468	NAME_REF@[508; 512)
	469	IDENT@[508; 512) "Self"
	470	R_ANGLE@[512; 513) ">"
	471	R_PAREN@[513; 514) ")"
	472	WHITESPACE@[514; 515) " "
	473	BLOCK@[515; 517)
	474	L_CURLY@[515; 516) "{"
	475	R_CURLY@[516; 517) "}"
	476	WHITESPACE@[517; 518) "\n"
	477	R_CURLY@[518; 519) "}"