From 7e66785859fc4a31fc3faf4848174699d3a2c020 Mon Sep 17 00:00:00 2001 From: Toby Dimmick Date: Thu, 6 Feb 2020 11:44:00 +0000 Subject: Rework value parameter parsing - `Fn__(...)` parameters with idents/patterns no longer parse - Trait function parameters with arbitrary patterns parse - Trait function parameters without idents/patterns no longer parse - `fn(...)` parameters no longer parse with patterns other than a single ident --- .../inline/ok/0004_value_parameters_no_patterns.rs | 2 +- .../ok/0004_value_parameters_no_patterns.txt | 115 ++++++--------- .../parser/inline/ok/0104_path_fn_trait_args.rs | 2 +- .../parser/inline/ok/0104_path_fn_trait_args.txt | 61 ++++---- .../test_data/parser/inline/ok/0152_fn_patterns.rs | 6 + .../parser/inline/ok/0152_fn_patterns.txt | 164 +++++++++++++++++++++ .../parser/inline/ok/0153_trait_fn_patterns.rs | 6 + .../parser/inline/ok/0153_trait_fn_patterns.txt | 161 ++++++++++++++++++++ .../inline/ok/0154_fn_pointer_param_ident_path.rs | 2 + .../inline/ok/0154_fn_pointer_param_ident_path.txt | 58 ++++++++ .../ra_syntax/test_data/parser/ok/0030_traits.rs | 4 - .../ra_syntax/test_data/parser/ok/0030_traits.txt | 154 ++++++++----------- 12 files changed, 535 insertions(+), 200 deletions(-) create mode 100644 crates/ra_syntax/test_data/parser/inline/ok/0152_fn_patterns.rs create mode 100644 crates/ra_syntax/test_data/parser/inline/ok/0152_fn_patterns.txt create mode 100644 crates/ra_syntax/test_data/parser/inline/ok/0153_trait_fn_patterns.rs create mode 100644 crates/ra_syntax/test_data/parser/inline/ok/0153_trait_fn_patterns.txt create mode 100644 crates/ra_syntax/test_data/parser/inline/ok/0154_fn_pointer_param_ident_path.rs create mode 100644 crates/ra_syntax/test_data/parser/inline/ok/0154_fn_pointer_param_ident_path.txt (limited to 'crates/ra_syntax/test_data') diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0004_value_parameters_no_patterns.rs b/crates/ra_syntax/test_data/parser/inline/ok/0004_value_parameters_no_patterns.rs index d8c23c76a..93636e926 100644 --- a/crates/ra_syntax/test_data/parser/inline/ok/0004_value_parameters_no_patterns.rs +++ b/crates/ra_syntax/test_data/parser/inline/ok/0004_value_parameters_no_patterns.rs @@ -1 +1 @@ -type F = Box; +type F = Box; diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0004_value_parameters_no_patterns.txt b/crates/ra_syntax/test_data/parser/inline/ok/0004_value_parameters_no_patterns.txt index 8cfba8420..9241f6fb2 100644 --- a/crates/ra_syntax/test_data/parser/inline/ok/0004_value_parameters_no_patterns.txt +++ b/crates/ra_syntax/test_data/parser/inline/ok/0004_value_parameters_no_patterns.txt @@ -1,5 +1,5 @@ -SOURCE_FILE@[0; 54) - TYPE_ALIAS_DEF@[0; 53) +SOURCE_FILE@[0; 39) + TYPE_ALIAS_DEF@[0; 38) TYPE_KW@[0; 4) "type" WHITESPACE@[4; 5) " " NAME@[5; 6) @@ -7,75 +7,54 @@ SOURCE_FILE@[0; 54) WHITESPACE@[6; 7) " " EQ@[7; 8) "=" WHITESPACE@[8; 9) " " - PATH_TYPE@[9; 52) - PATH@[9; 52) - PATH_SEGMENT@[9; 52) + PATH_TYPE@[9; 37) + PATH@[9; 37) + PATH_SEGMENT@[9; 37) NAME_REF@[9; 12) IDENT@[9; 12) "Box" - TYPE_ARG_LIST@[12; 52) + TYPE_ARG_LIST@[12; 37) L_ANGLE@[12; 13) "<" - TYPE_ARG@[13; 51) - PATH_TYPE@[13; 51) - PATH@[13; 51) - PATH_SEGMENT@[13; 51) + TYPE_ARG@[13; 36) + PATH_TYPE@[13; 36) + PATH@[13; 36) + PATH_SEGMENT@[13; 36) NAME_REF@[13; 15) IDENT@[13; 15) "Fn" - PARAM_LIST@[15; 51) + PARAM_LIST@[15; 36) L_PAREN@[15; 16) "(" - PARAM@[16; 22) - BIND_PAT@[16; 17) - NAME@[16; 17) - IDENT@[16; 17) "a" - COLON@[17; 18) ":" - WHITESPACE@[18; 19) " " - PATH_TYPE@[19; 22) - PATH@[19; 22) - PATH_SEGMENT@[19; 22) - NAME_REF@[19; 22) - IDENT@[19; 22) "i32" - COMMA@[22; 23) "," - WHITESPACE@[23; 24) " " - PARAM@[24; 32) - REF_PAT@[24; 26) - AMP@[24; 25) "&" - BIND_PAT@[25; 26) - NAME@[25; 26) - IDENT@[25; 26) "b" - COLON@[26; 27) ":" - WHITESPACE@[27; 28) " " - REFERENCE_TYPE@[28; 32) - AMP@[28; 29) "&" - PATH_TYPE@[29; 32) - PATH@[29; 32) - PATH_SEGMENT@[29; 32) - NAME_REF@[29; 32) - IDENT@[29; 32) "i32" - COMMA@[32; 33) "," - WHITESPACE@[33; 34) " " - PARAM@[34; 46) - REF_PAT@[34; 40) - AMP@[34; 35) "&" - MUT_KW@[35; 38) "mut" - WHITESPACE@[38; 39) " " - BIND_PAT@[39; 40) - NAME@[39; 40) - IDENT@[39; 40) "c" - COLON@[40; 41) ":" - WHITESPACE@[41; 42) " " - REFERENCE_TYPE@[42; 46) - AMP@[42; 43) "&" - PATH_TYPE@[43; 46) - PATH@[43; 46) - PATH_SEGMENT@[43; 46) - NAME_REF@[43; 46) - IDENT@[43; 46) "i32" - COMMA@[46; 47) "," - WHITESPACE@[47; 48) " " - PARAM@[48; 50) - TUPLE_TYPE@[48; 50) - L_PAREN@[48; 49) "(" - R_PAREN@[49; 50) ")" - R_PAREN@[50; 51) ")" - R_ANGLE@[51; 52) ">" - SEMI@[52; 53) ";" - WHITESPACE@[53; 54) "\n" + PARAM@[16; 19) + PATH_TYPE@[16; 19) + PATH@[16; 19) + PATH_SEGMENT@[16; 19) + NAME_REF@[16; 19) + IDENT@[16; 19) "i32" + COMMA@[19; 20) "," + WHITESPACE@[20; 21) " " + PARAM@[21; 25) + REFERENCE_TYPE@[21; 25) + AMP@[21; 22) "&" + PATH_TYPE@[22; 25) + PATH@[22; 25) + PATH_SEGMENT@[22; 25) + NAME_REF@[22; 25) + IDENT@[22; 25) "i32" + COMMA@[25; 26) "," + WHITESPACE@[26; 27) " " + PARAM@[27; 31) + REFERENCE_TYPE@[27; 31) + AMP@[27; 28) "&" + PATH_TYPE@[28; 31) + PATH@[28; 31) + PATH_SEGMENT@[28; 31) + NAME_REF@[28; 31) + IDENT@[28; 31) "i32" + COMMA@[31; 32) "," + WHITESPACE@[32; 33) " " + PARAM@[33; 35) + TUPLE_TYPE@[33; 35) + L_PAREN@[33; 34) "(" + R_PAREN@[34; 35) ")" + R_PAREN@[35; 36) ")" + R_ANGLE@[36; 37) ">" + SEMI@[37; 38) ";" + WHITESPACE@[38; 39) "\n" diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0104_path_fn_trait_args.rs b/crates/ra_syntax/test_data/parser/inline/ok/0104_path_fn_trait_args.rs index aef45e561..17ed20e5b 100644 --- a/crates/ra_syntax/test_data/parser/inline/ok/0104_path_fn_trait_args.rs +++ b/crates/ra_syntax/test_data/parser/inline/ok/0104_path_fn_trait_args.rs @@ -1 +1 @@ -type F = Box ()>; +type F = Box ()>; diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0104_path_fn_trait_args.txt b/crates/ra_syntax/test_data/parser/inline/ok/0104_path_fn_trait_args.txt index d6f196811..a983d5954 100644 --- a/crates/ra_syntax/test_data/parser/inline/ok/0104_path_fn_trait_args.txt +++ b/crates/ra_syntax/test_data/parser/inline/ok/0104_path_fn_trait_args.txt @@ -1,5 +1,5 @@ -SOURCE_FILE@[0; 32) - TYPE_ALIAS_DEF@[0; 31) +SOURCE_FILE@[0; 29) + TYPE_ALIAS_DEF@[0; 28) TYPE_KW@[0; 4) "type" WHITESPACE@[4; 5) " " NAME@[5; 6) @@ -7,40 +7,35 @@ SOURCE_FILE@[0; 32) WHITESPACE@[6; 7) " " EQ@[7; 8) "=" WHITESPACE@[8; 9) " " - PATH_TYPE@[9; 30) - PATH@[9; 30) - PATH_SEGMENT@[9; 30) + PATH_TYPE@[9; 27) + PATH@[9; 27) + PATH_SEGMENT@[9; 27) NAME_REF@[9; 12) IDENT@[9; 12) "Box" - TYPE_ARG_LIST@[12; 30) + TYPE_ARG_LIST@[12; 27) L_ANGLE@[12; 13) "<" - TYPE_ARG@[13; 29) - PATH_TYPE@[13; 29) - PATH@[13; 29) - PATH_SEGMENT@[13; 29) + TYPE_ARG@[13; 26) + PATH_TYPE@[13; 26) + PATH@[13; 26) + PATH_SEGMENT@[13; 26) NAME_REF@[13; 15) IDENT@[13; 15) "Fn" - PARAM_LIST@[15; 23) + PARAM_LIST@[15; 20) L_PAREN@[15; 16) "(" - PARAM@[16; 22) - BIND_PAT@[16; 17) - NAME@[16; 17) - IDENT@[16; 17) "x" - COLON@[17; 18) ":" - WHITESPACE@[18; 19) " " - PATH_TYPE@[19; 22) - PATH@[19; 22) - PATH_SEGMENT@[19; 22) - NAME_REF@[19; 22) - IDENT@[19; 22) "i32" - R_PAREN@[22; 23) ")" - WHITESPACE@[23; 24) " " - RET_TYPE@[24; 29) - THIN_ARROW@[24; 26) "->" - WHITESPACE@[26; 27) " " - TUPLE_TYPE@[27; 29) - L_PAREN@[27; 28) "(" - R_PAREN@[28; 29) ")" - R_ANGLE@[29; 30) ">" - SEMI@[30; 31) ";" - WHITESPACE@[31; 32) "\n" + PARAM@[16; 19) + PATH_TYPE@[16; 19) + PATH@[16; 19) + PATH_SEGMENT@[16; 19) + NAME_REF@[16; 19) + IDENT@[16; 19) "i32" + R_PAREN@[19; 20) ")" + WHITESPACE@[20; 21) " " + RET_TYPE@[21; 26) + THIN_ARROW@[21; 23) "->" + WHITESPACE@[23; 24) " " + TUPLE_TYPE@[24; 26) + L_PAREN@[24; 25) "(" + R_PAREN@[25; 26) ")" + R_ANGLE@[26; 27) ">" + SEMI@[27; 28) ";" + WHITESPACE@[28; 29) "\n" diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0152_fn_patterns.rs b/crates/ra_syntax/test_data/parser/inline/ok/0152_fn_patterns.rs new file mode 100644 index 000000000..b49e872d7 --- /dev/null +++ b/crates/ra_syntax/test_data/parser/inline/ok/0152_fn_patterns.rs @@ -0,0 +1,6 @@ +impl U { + fn f1((a, b): (usize, usize)) {} + fn f2(S { a, b }: S) {} + fn f3(NewType(a): NewType) {} + fn f4(&&a: &&usize) {} +} diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0152_fn_patterns.txt b/crates/ra_syntax/test_data/parser/inline/ok/0152_fn_patterns.txt new file mode 100644 index 000000000..933f5b7bd --- /dev/null +++ b/crates/ra_syntax/test_data/parser/inline/ok/0152_fn_patterns.txt @@ -0,0 +1,164 @@ +SOURCE_FILE@[0; 137) + IMPL_BLOCK@[0; 136) + IMPL_KW@[0; 4) "impl" + WHITESPACE@[4; 5) " " + PATH_TYPE@[5; 6) + PATH@[5; 6) + PATH_SEGMENT@[5; 6) + NAME_REF@[5; 6) + IDENT@[5; 6) "U" + WHITESPACE@[6; 7) " " + ITEM_LIST@[7; 136) + L_CURLY@[7; 8) "{" + WHITESPACE@[8; 13) "\n " + FN_DEF@[13; 45) + FN_KW@[13; 15) "fn" + WHITESPACE@[15; 16) " " + NAME@[16; 18) + IDENT@[16; 18) "f1" + PARAM_LIST@[18; 42) + L_PAREN@[18; 19) "(" + PARAM@[19; 41) + TUPLE_PAT@[19; 25) + L_PAREN@[19; 20) "(" + BIND_PAT@[20; 21) + NAME@[20; 21) + IDENT@[20; 21) "a" + COMMA@[21; 22) "," + WHITESPACE@[22; 23) " " + BIND_PAT@[23; 24) + NAME@[23; 24) + IDENT@[23; 24) "b" + R_PAREN@[24; 25) ")" + COLON@[25; 26) ":" + WHITESPACE@[26; 27) " " + TUPLE_TYPE@[27; 41) + L_PAREN@[27; 28) "(" + PATH_TYPE@[28; 33) + PATH@[28; 33) + PATH_SEGMENT@[28; 33) + NAME_REF@[28; 33) + IDENT@[28; 33) "usize" + COMMA@[33; 34) "," + WHITESPACE@[34; 35) " " + PATH_TYPE@[35; 40) + PATH@[35; 40) + PATH_SEGMENT@[35; 40) + NAME_REF@[35; 40) + IDENT@[35; 40) "usize" + R_PAREN@[40; 41) ")" + R_PAREN@[41; 42) ")" + WHITESPACE@[42; 43) " " + BLOCK_EXPR@[43; 45) + BLOCK@[43; 45) + L_CURLY@[43; 44) "{" + R_CURLY@[44; 45) "}" + WHITESPACE@[45; 50) "\n " + FN_DEF@[50; 73) + FN_KW@[50; 52) "fn" + WHITESPACE@[52; 53) " " + NAME@[53; 55) + IDENT@[53; 55) "f2" + PARAM_LIST@[55; 70) + L_PAREN@[55; 56) "(" + PARAM@[56; 69) + RECORD_PAT@[56; 66) + PATH@[56; 57) + PATH_SEGMENT@[56; 57) + NAME_REF@[56; 57) + IDENT@[56; 57) "S" + WHITESPACE@[57; 58) " " + RECORD_FIELD_PAT_LIST@[58; 66) + L_CURLY@[58; 59) "{" + WHITESPACE@[59; 60) " " + BIND_PAT@[60; 61) + NAME@[60; 61) + IDENT@[60; 61) "a" + COMMA@[61; 62) "," + WHITESPACE@[62; 63) " " + BIND_PAT@[63; 64) + NAME@[63; 64) + IDENT@[63; 64) "b" + WHITESPACE@[64; 65) " " + R_CURLY@[65; 66) "}" + COLON@[66; 67) ":" + WHITESPACE@[67; 68) " " + PATH_TYPE@[68; 69) + PATH@[68; 69) + PATH_SEGMENT@[68; 69) + NAME_REF@[68; 69) + IDENT@[68; 69) "S" + R_PAREN@[69; 70) ")" + WHITESPACE@[70; 71) " " + BLOCK_EXPR@[71; 73) + BLOCK@[71; 73) + L_CURLY@[71; 72) "{" + R_CURLY@[72; 73) "}" + WHITESPACE@[73; 78) "\n " + FN_DEF@[78; 107) + FN_KW@[78; 80) "fn" + WHITESPACE@[80; 81) " " + NAME@[81; 83) + IDENT@[81; 83) "f3" + PARAM_LIST@[83; 104) + L_PAREN@[83; 84) "(" + PARAM@[84; 103) + TUPLE_STRUCT_PAT@[84; 94) + PATH@[84; 91) + PATH_SEGMENT@[84; 91) + NAME_REF@[84; 91) + IDENT@[84; 91) "NewType" + L_PAREN@[91; 92) "(" + BIND_PAT@[92; 93) + NAME@[92; 93) + IDENT@[92; 93) "a" + R_PAREN@[93; 94) ")" + COLON@[94; 95) ":" + WHITESPACE@[95; 96) " " + PATH_TYPE@[96; 103) + PATH@[96; 103) + PATH_SEGMENT@[96; 103) + NAME_REF@[96; 103) + IDENT@[96; 103) "NewType" + R_PAREN@[103; 104) ")" + WHITESPACE@[104; 105) " " + BLOCK_EXPR@[105; 107) + BLOCK@[105; 107) + L_CURLY@[105; 106) "{" + R_CURLY@[106; 107) "}" + WHITESPACE@[107; 112) "\n " + FN_DEF@[112; 134) + FN_KW@[112; 114) "fn" + WHITESPACE@[114; 115) " " + NAME@[115; 117) + IDENT@[115; 117) "f4" + PARAM_LIST@[117; 131) + L_PAREN@[117; 118) "(" + PARAM@[118; 130) + REF_PAT@[118; 121) + AMP@[118; 119) "&" + REF_PAT@[119; 121) + AMP@[119; 120) "&" + BIND_PAT@[120; 121) + NAME@[120; 121) + IDENT@[120; 121) "a" + COLON@[121; 122) ":" + WHITESPACE@[122; 123) " " + REFERENCE_TYPE@[123; 130) + AMP@[123; 124) "&" + REFERENCE_TYPE@[124; 130) + AMP@[124; 125) "&" + PATH_TYPE@[125; 130) + PATH@[125; 130) + PATH_SEGMENT@[125; 130) + NAME_REF@[125; 130) + IDENT@[125; 130) "usize" + R_PAREN@[130; 131) ")" + WHITESPACE@[131; 132) " " + BLOCK_EXPR@[132; 134) + BLOCK@[132; 134) + L_CURLY@[132; 133) "{" + R_CURLY@[133; 134) "}" + WHITESPACE@[134; 135) "\n" + R_CURLY@[135; 136) "}" + WHITESPACE@[136; 137) "\n" diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0153_trait_fn_patterns.rs b/crates/ra_syntax/test_data/parser/inline/ok/0153_trait_fn_patterns.rs new file mode 100644 index 000000000..a94bf378a --- /dev/null +++ b/crates/ra_syntax/test_data/parser/inline/ok/0153_trait_fn_patterns.rs @@ -0,0 +1,6 @@ +trait T { + fn f1((a, b): (usize, usize)) {} + fn f2(S { a, b }: S) {} + fn f3(NewType(a): NewType) {} + fn f4(&&a: &&usize) {} +} diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0153_trait_fn_patterns.txt b/crates/ra_syntax/test_data/parser/inline/ok/0153_trait_fn_patterns.txt new file mode 100644 index 000000000..b22df8dbe --- /dev/null +++ b/crates/ra_syntax/test_data/parser/inline/ok/0153_trait_fn_patterns.txt @@ -0,0 +1,161 @@ +SOURCE_FILE@[0; 138) + TRAIT_DEF@[0; 137) + TRAIT_KW@[0; 5) "trait" + WHITESPACE@[5; 6) " " + NAME@[6; 7) + IDENT@[6; 7) "T" + WHITESPACE@[7; 8) " " + ITEM_LIST@[8; 137) + L_CURLY@[8; 9) "{" + WHITESPACE@[9; 14) "\n " + FN_DEF@[14; 46) + FN_KW@[14; 16) "fn" + WHITESPACE@[16; 17) " " + NAME@[17; 19) + IDENT@[17; 19) "f1" + PARAM_LIST@[19; 43) + L_PAREN@[19; 20) "(" + PARAM@[20; 42) + TUPLE_PAT@[20; 26) + L_PAREN@[20; 21) "(" + BIND_PAT@[21; 22) + NAME@[21; 22) + IDENT@[21; 22) "a" + COMMA@[22; 23) "," + WHITESPACE@[23; 24) " " + BIND_PAT@[24; 25) + NAME@[24; 25) + IDENT@[24; 25) "b" + R_PAREN@[25; 26) ")" + COLON@[26; 27) ":" + WHITESPACE@[27; 28) " " + TUPLE_TYPE@[28; 42) + L_PAREN@[28; 29) "(" + PATH_TYPE@[29; 34) + PATH@[29; 34) + PATH_SEGMENT@[29; 34) + NAME_REF@[29; 34) + IDENT@[29; 34) "usize" + COMMA@[34; 35) "," + WHITESPACE@[35; 36) " " + PATH_TYPE@[36; 41) + PATH@[36; 41) + PATH_SEGMENT@[36; 41) + NAME_REF@[36; 41) + IDENT@[36; 41) "usize" + R_PAREN@[41; 42) ")" + R_PAREN@[42; 43) ")" + WHITESPACE@[43; 44) " " + BLOCK_EXPR@[44; 46) + BLOCK@[44; 46) + L_CURLY@[44; 45) "{" + R_CURLY@[45; 46) "}" + WHITESPACE@[46; 51) "\n " + FN_DEF@[51; 74) + FN_KW@[51; 53) "fn" + WHITESPACE@[53; 54) " " + NAME@[54; 56) + IDENT@[54; 56) "f2" + PARAM_LIST@[56; 71) + L_PAREN@[56; 57) "(" + PARAM@[57; 70) + RECORD_PAT@[57; 67) + PATH@[57; 58) + PATH_SEGMENT@[57; 58) + NAME_REF@[57; 58) + IDENT@[57; 58) "S" + WHITESPACE@[58; 59) " " + RECORD_FIELD_PAT_LIST@[59; 67) + L_CURLY@[59; 60) "{" + WHITESPACE@[60; 61) " " + BIND_PAT@[61; 62) + NAME@[61; 62) + IDENT@[61; 62) "a" + COMMA@[62; 63) "," + WHITESPACE@[63; 64) " " + BIND_PAT@[64; 65) + NAME@[64; 65) + IDENT@[64; 65) "b" + WHITESPACE@[65; 66) " " + R_CURLY@[66; 67) "}" + COLON@[67; 68) ":" + WHITESPACE@[68; 69) " " + PATH_TYPE@[69; 70) + PATH@[69; 70) + PATH_SEGMENT@[69; 70) + NAME_REF@[69; 70) + IDENT@[69; 70) "S" + R_PAREN@[70; 71) ")" + WHITESPACE@[71; 72) " " + BLOCK_EXPR@[72; 74) + BLOCK@[72; 74) + L_CURLY@[72; 73) "{" + R_CURLY@[73; 74) "}" + WHITESPACE@[74; 79) "\n " + FN_DEF@[79; 108) + FN_KW@[79; 81) "fn" + WHITESPACE@[81; 82) " " + NAME@[82; 84) + IDENT@[82; 84) "f3" + PARAM_LIST@[84; 105) + L_PAREN@[84; 85) "(" + PARAM@[85; 104) + TUPLE_STRUCT_PAT@[85; 95) + PATH@[85; 92) + PATH_SEGMENT@[85; 92) + NAME_REF@[85; 92) + IDENT@[85; 92) "NewType" + L_PAREN@[92; 93) "(" + BIND_PAT@[93; 94) + NAME@[93; 94) + IDENT@[93; 94) "a" + R_PAREN@[94; 95) ")" + COLON@[95; 96) ":" + WHITESPACE@[96; 97) " " + PATH_TYPE@[97; 104) + PATH@[97; 104) + PATH_SEGMENT@[97; 104) + NAME_REF@[97; 104) + IDENT@[97; 104) "NewType" + R_PAREN@[104; 105) ")" + WHITESPACE@[105; 106) " " + BLOCK_EXPR@[106; 108) + BLOCK@[106; 108) + L_CURLY@[106; 107) "{" + R_CURLY@[107; 108) "}" + WHITESPACE@[108; 113) "\n " + FN_DEF@[113; 135) + FN_KW@[113; 115) "fn" + WHITESPACE@[115; 116) " " + NAME@[116; 118) + IDENT@[116; 118) "f4" + PARAM_LIST@[118; 132) + L_PAREN@[118; 119) "(" + PARAM@[119; 131) + REF_PAT@[119; 122) + AMP@[119; 120) "&" + REF_PAT@[120; 122) + AMP@[120; 121) "&" + BIND_PAT@[121; 122) + NAME@[121; 122) + IDENT@[121; 122) "a" + COLON@[122; 123) ":" + WHITESPACE@[123; 124) " " + REFERENCE_TYPE@[124; 131) + AMP@[124; 125) "&" + REFERENCE_TYPE@[125; 131) + AMP@[125; 126) "&" + PATH_TYPE@[126; 131) + PATH@[126; 131) + PATH_SEGMENT@[126; 131) + NAME_REF@[126; 131) + IDENT@[126; 131) "usize" + R_PAREN@[131; 132) ")" + WHITESPACE@[132; 133) " " + BLOCK_EXPR@[133; 135) + BLOCK@[133; 135) + L_CURLY@[133; 134) "{" + R_CURLY@[134; 135) "}" + WHITESPACE@[135; 136) "\n" + R_CURLY@[136; 137) "}" + WHITESPACE@[137; 138) "\n" diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0154_fn_pointer_param_ident_path.rs b/crates/ra_syntax/test_data/parser/inline/ok/0154_fn_pointer_param_ident_path.rs new file mode 100644 index 000000000..80a1701fd --- /dev/null +++ b/crates/ra_syntax/test_data/parser/inline/ok/0154_fn_pointer_param_ident_path.rs @@ -0,0 +1,2 @@ +type Foo = fn(Bar::Baz); +type Qux = fn(baz: Bar::Baz); diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0154_fn_pointer_param_ident_path.txt b/crates/ra_syntax/test_data/parser/inline/ok/0154_fn_pointer_param_ident_path.txt new file mode 100644 index 000000000..cb686854a --- /dev/null +++ b/crates/ra_syntax/test_data/parser/inline/ok/0154_fn_pointer_param_ident_path.txt @@ -0,0 +1,58 @@ +SOURCE_FILE@[0; 55) + TYPE_ALIAS_DEF@[0; 24) + TYPE_KW@[0; 4) "type" + WHITESPACE@[4; 5) " " + NAME@[5; 8) + IDENT@[5; 8) "Foo" + WHITESPACE@[8; 9) " " + EQ@[9; 10) "=" + WHITESPACE@[10; 11) " " + FN_POINTER_TYPE@[11; 23) + FN_KW@[11; 13) "fn" + PARAM_LIST@[13; 23) + L_PAREN@[13; 14) "(" + PARAM@[14; 22) + PATH_TYPE@[14; 22) + PATH@[14; 22) + PATH@[14; 17) + PATH_SEGMENT@[14; 17) + NAME_REF@[14; 17) + IDENT@[14; 17) "Bar" + COLONCOLON@[17; 19) "::" + PATH_SEGMENT@[19; 22) + NAME_REF@[19; 22) + IDENT@[19; 22) "Baz" + R_PAREN@[22; 23) ")" + SEMI@[23; 24) ";" + WHITESPACE@[24; 25) "\n" + TYPE_ALIAS_DEF@[25; 54) + TYPE_KW@[25; 29) "type" + WHITESPACE@[29; 30) " " + NAME@[30; 33) + IDENT@[30; 33) "Qux" + WHITESPACE@[33; 34) " " + EQ@[34; 35) "=" + WHITESPACE@[35; 36) " " + FN_POINTER_TYPE@[36; 53) + FN_KW@[36; 38) "fn" + PARAM_LIST@[38; 53) + L_PAREN@[38; 39) "(" + PARAM@[39; 52) + BIND_PAT@[39; 42) + NAME@[39; 42) + IDENT@[39; 42) "baz" + COLON@[42; 43) ":" + WHITESPACE@[43; 44) " " + PATH_TYPE@[44; 52) + PATH@[44; 52) + PATH@[44; 47) + PATH_SEGMENT@[44; 47) + NAME_REF@[44; 47) + IDENT@[44; 47) "Bar" + COLONCOLON@[47; 49) "::" + PATH_SEGMENT@[49; 52) + NAME_REF@[49; 52) + IDENT@[49; 52) "Baz" + R_PAREN@[52; 53) ")" + SEMI@[53; 54) ";" + WHITESPACE@[54; 55) "\n" diff --git a/crates/ra_syntax/test_data/parser/ok/0030_traits.rs b/crates/ra_syntax/test_data/parser/ok/0030_traits.rs index 23c4be0e1..ac30843ef 100644 --- a/crates/ra_syntax/test_data/parser/ok/0030_traits.rs +++ b/crates/ra_syntax/test_data/parser/ok/0030_traits.rs @@ -1,7 +1,3 @@ -pub trait WriteMessage { - fn write_message(&FrontendMessage); -} - trait Runnable { fn handler(); } diff --git a/crates/ra_syntax/test_data/parser/ok/0030_traits.txt b/crates/ra_syntax/test_data/parser/ok/0030_traits.txt index b656c1a81..ac314ae50 100644 --- a/crates/ra_syntax/test_data/parser/ok/0030_traits.txt +++ b/crates/ra_syntax/test_data/parser/ok/0030_traits.txt @@ -1,93 +1,61 @@ -SOURCE_FILE@[0; 164) - TRAIT_DEF@[0; 66) - VISIBILITY@[0; 3) - PUB_KW@[0; 3) "pub" - WHITESPACE@[3; 4) " " - TRAIT_KW@[4; 9) "trait" - WHITESPACE@[9; 10) " " - NAME@[10; 22) - IDENT@[10; 22) "WriteMessage" - WHITESPACE@[22; 23) " " - ITEM_LIST@[23; 66) - L_CURLY@[23; 24) "{" - WHITESPACE@[24; 29) "\n " - FN_DEF@[29; 64) - FN_KW@[29; 31) "fn" - WHITESPACE@[31; 32) " " - NAME@[32; 45) - IDENT@[32; 45) "write_message" - PARAM_LIST@[45; 63) - L_PAREN@[45; 46) "(" - PARAM@[46; 62) - REFERENCE_TYPE@[46; 62) - AMP@[46; 47) "&" - PATH_TYPE@[47; 62) - PATH@[47; 62) - PATH_SEGMENT@[47; 62) - NAME_REF@[47; 62) - IDENT@[47; 62) "FrontendMessage" - R_PAREN@[62; 63) ")" - SEMI@[63; 64) ";" - WHITESPACE@[64; 65) "\n" - R_CURLY@[65; 66) "}" - WHITESPACE@[66; 68) "\n\n" - TRAIT_DEF@[68; 104) - TRAIT_KW@[68; 73) "trait" - WHITESPACE@[73; 74) " " - NAME@[74; 82) - IDENT@[74; 82) "Runnable" - WHITESPACE@[82; 83) " " - ITEM_LIST@[83; 104) - L_CURLY@[83; 84) "{" - WHITESPACE@[84; 89) "\n " - FN_DEF@[89; 102) - FN_KW@[89; 91) "fn" - WHITESPACE@[91; 92) " " - NAME@[92; 99) - IDENT@[92; 99) "handler" - PARAM_LIST@[99; 101) - L_PAREN@[99; 100) "(" - R_PAREN@[100; 101) ")" - SEMI@[101; 102) ";" - WHITESPACE@[102; 103) "\n" - R_CURLY@[103; 104) "}" - WHITESPACE@[104; 106) "\n\n" - TRAIT_DEF@[106; 163) - TRAIT_KW@[106; 111) "trait" - WHITESPACE@[111; 112) " " - NAME@[112; 125) - IDENT@[112; 125) "TraitWithExpr" - WHITESPACE@[125; 126) " " - ITEM_LIST@[126; 163) - L_CURLY@[126; 127) "{" - WHITESPACE@[127; 132) "\n " - FN_DEF@[132; 161) - FN_KW@[132; 134) "fn" - WHITESPACE@[134; 135) " " - NAME@[135; 147) - IDENT@[135; 147) "fn_with_expr" - PARAM_LIST@[147; 160) - L_PAREN@[147; 148) "(" - PARAM@[148; 159) - BIND_PAT@[148; 149) - NAME@[148; 149) - IDENT@[148; 149) "x" - COLON@[149; 150) ":" - WHITESPACE@[150; 151) " " - ARRAY_TYPE@[151; 159) - L_BRACK@[151; 152) "[" - PATH_TYPE@[152; 155) - PATH@[152; 155) - PATH_SEGMENT@[152; 155) - NAME_REF@[152; 155) - IDENT@[152; 155) "i32" - SEMI@[155; 156) ";" - WHITESPACE@[156; 157) " " - LITERAL@[157; 158) - INT_NUMBER@[157; 158) "1" - R_BRACK@[158; 159) "]" - R_PAREN@[159; 160) ")" - SEMI@[160; 161) ";" - WHITESPACE@[161; 162) "\n" - R_CURLY@[162; 163) "}" - WHITESPACE@[163; 164) "\n" +SOURCE_FILE@[0; 96) + TRAIT_DEF@[0; 36) + TRAIT_KW@[0; 5) "trait" + WHITESPACE@[5; 6) " " + NAME@[6; 14) + IDENT@[6; 14) "Runnable" + WHITESPACE@[14; 15) " " + ITEM_LIST@[15; 36) + L_CURLY@[15; 16) "{" + WHITESPACE@[16; 21) "\n " + FN_DEF@[21; 34) + FN_KW@[21; 23) "fn" + WHITESPACE@[23; 24) " " + NAME@[24; 31) + IDENT@[24; 31) "handler" + PARAM_LIST@[31; 33) + L_PAREN@[31; 32) "(" + R_PAREN@[32; 33) ")" + SEMI@[33; 34) ";" + WHITESPACE@[34; 35) "\n" + R_CURLY@[35; 36) "}" + WHITESPACE@[36; 38) "\n\n" + TRAIT_DEF@[38; 95) + TRAIT_KW@[38; 43) "trait" + WHITESPACE@[43; 44) " " + NAME@[44; 57) + IDENT@[44; 57) "TraitWithExpr" + WHITESPACE@[57; 58) " " + ITEM_LIST@[58; 95) + L_CURLY@[58; 59) "{" + WHITESPACE@[59; 64) "\n " + FN_DEF@[64; 93) + FN_KW@[64; 66) "fn" + WHITESPACE@[66; 67) " " + NAME@[67; 79) + IDENT@[67; 79) "fn_with_expr" + PARAM_LIST@[79; 92) + L_PAREN@[79; 80) "(" + PARAM@[80; 91) + BIND_PAT@[80; 81) + NAME@[80; 81) + IDENT@[80; 81) "x" + COLON@[81; 82) ":" + WHITESPACE@[82; 83) " " + ARRAY_TYPE@[83; 91) + L_BRACK@[83; 84) "[" + PATH_TYPE@[84; 87) + PATH@[84; 87) + PATH_SEGMENT@[84; 87) + NAME_REF@[84; 87) + IDENT@[84; 87) "i32" + SEMI@[87; 88) ";" + WHITESPACE@[88; 89) " " + LITERAL@[89; 90) + INT_NUMBER@[89; 90) "1" + R_BRACK@[90; 91) "]" + R_PAREN@[91; 92) ")" + SEMI@[92; 93) ";" + WHITESPACE@[93; 94) "\n" + R_CURLY@[94; 95) "}" + WHITESPACE@[95; 96) "\n" -- cgit v1.2.3