From 95505e80fc0f8470fb8eb01b6d46a44d9a3e10dc Mon Sep 17 00:00:00 2001 From: Ville Penttinen Date: Sun, 24 Mar 2019 20:51:55 +0200 Subject: Support references in higher-ranked trait bounds Fixes #1020 --- crates/ra_parser/src/grammar/types.rs | 3 + .../tests/data/parser/inline/ok/0081_for_type.rs | 2 + .../tests/data/parser/inline/ok/0081_for_type.txt | 126 ++++++++++++++++++++- 3 files changed, 130 insertions(+), 1 deletion(-) diff --git a/crates/ra_parser/src/grammar/types.rs b/crates/ra_parser/src/grammar/types.rs index adc189a29..fdd4f2c52 100644 --- a/crates/ra_parser/src/grammar/types.rs +++ b/crates/ra_parser/src/grammar/types.rs @@ -202,12 +202,15 @@ pub(super) fn for_binder(p: &mut Parser) { // test for_type // type A = for<'a> fn() -> (); +// fn foo(_t: &T) where for<'a> &'a T: Iterator {} +// fn bar(_t: &T) where for<'a> &'a mut T: Iterator {} pub(super) fn for_type(p: &mut Parser) { assert!(p.at(FOR_KW)); let m = p.start(); for_binder(p); match p.current() { FN_KW | UNSAFE_KW | EXTERN_KW => fn_pointer_type(p), + AMP => reference_type(p), _ if paths::is_path_start(p) => path_type_(p, false), _ => p.error("expected a path"), } diff --git a/crates/ra_syntax/tests/data/parser/inline/ok/0081_for_type.rs b/crates/ra_syntax/tests/data/parser/inline/ok/0081_for_type.rs index 4d6a18c6b..7cde5c532 100644 --- a/crates/ra_syntax/tests/data/parser/inline/ok/0081_for_type.rs +++ b/crates/ra_syntax/tests/data/parser/inline/ok/0081_for_type.rs @@ -1 +1,3 @@ type A = for<'a> fn() -> (); +fn foo(_t: &T) where for<'a> &'a T: Iterator {} +fn bar(_t: &T) where for<'a> &'a mut T: Iterator {} diff --git a/crates/ra_syntax/tests/data/parser/inline/ok/0081_for_type.txt b/crates/ra_syntax/tests/data/parser/inline/ok/0081_for_type.txt index 6e7e6bda1..568f61fb2 100644 --- a/crates/ra_syntax/tests/data/parser/inline/ok/0081_for_type.txt +++ b/crates/ra_syntax/tests/data/parser/inline/ok/0081_for_type.txt @@ -1,4 +1,4 @@ -SOURCE_FILE@[0; 29) +SOURCE_FILE@[0; 135) TYPE_ALIAS_DEF@[0; 28) TYPE_KW@[0; 4) WHITESPACE@[4; 5) @@ -29,3 +29,127 @@ SOURCE_FILE@[0; 29) R_PAREN@[26; 27) SEMI@[27; 28) WHITESPACE@[28; 29) + FN_DEF@[29; 79) + FN_KW@[29; 31) + WHITESPACE@[31; 32) + NAME@[32; 35) + IDENT@[32; 35) "foo" + TYPE_PARAM_LIST@[35; 38) + L_ANGLE@[35; 36) + TYPE_PARAM@[36; 37) + NAME@[36; 37) + IDENT@[36; 37) "T" + R_ANGLE@[37; 38) + PARAM_LIST@[38; 46) + L_PAREN@[38; 39) + PARAM@[39; 45) + BIND_PAT@[39; 41) + NAME@[39; 41) + IDENT@[39; 41) "_t" + COLON@[41; 42) + WHITESPACE@[42; 43) + REFERENCE_TYPE@[43; 45) + AMP@[43; 44) + PATH_TYPE@[44; 45) + PATH@[44; 45) + PATH_SEGMENT@[44; 45) + NAME_REF@[44; 45) + IDENT@[44; 45) "T" + R_PAREN@[45; 46) + WHITESPACE@[46; 47) + WHERE_CLAUSE@[47; 76) + WHERE_KW@[47; 52) + WHITESPACE@[52; 53) + WHERE_PRED@[53; 76) + FOR_TYPE@[53; 66) + FOR_KW@[53; 56) + TYPE_PARAM_LIST@[56; 60) + L_ANGLE@[56; 57) + LIFETIME_PARAM@[57; 59) + LIFETIME@[57; 59) "'a" + R_ANGLE@[59; 60) + WHITESPACE@[60; 61) + REFERENCE_TYPE@[61; 66) + AMP@[61; 62) + LIFETIME@[62; 64) "'a" + WHITESPACE@[64; 65) + PATH_TYPE@[65; 66) + PATH@[65; 66) + PATH_SEGMENT@[65; 66) + NAME_REF@[65; 66) + IDENT@[65; 66) "T" + COLON@[66; 67) + WHITESPACE@[67; 68) + PATH_TYPE@[68; 76) + PATH@[68; 76) + PATH_SEGMENT@[68; 76) + NAME_REF@[68; 76) + IDENT@[68; 76) "Iterator" + WHITESPACE@[76; 77) + BLOCK@[77; 79) + L_CURLY@[77; 78) + R_CURLY@[78; 79) + WHITESPACE@[79; 80) + FN_DEF@[80; 134) + FN_KW@[80; 82) + WHITESPACE@[82; 83) + NAME@[83; 86) + IDENT@[83; 86) "bar" + TYPE_PARAM_LIST@[86; 89) + L_ANGLE@[86; 87) + TYPE_PARAM@[87; 88) + NAME@[87; 88) + IDENT@[87; 88) "T" + R_ANGLE@[88; 89) + PARAM_LIST@[89; 97) + L_PAREN@[89; 90) + PARAM@[90; 96) + BIND_PAT@[90; 92) + NAME@[90; 92) + IDENT@[90; 92) "_t" + COLON@[92; 93) + WHITESPACE@[93; 94) + REFERENCE_TYPE@[94; 96) + AMP@[94; 95) + PATH_TYPE@[95; 96) + PATH@[95; 96) + PATH_SEGMENT@[95; 96) + NAME_REF@[95; 96) + IDENT@[95; 96) "T" + R_PAREN@[96; 97) + WHITESPACE@[97; 98) + WHERE_CLAUSE@[98; 131) + WHERE_KW@[98; 103) + WHITESPACE@[103; 104) + WHERE_PRED@[104; 131) + FOR_TYPE@[104; 121) + FOR_KW@[104; 107) + TYPE_PARAM_LIST@[107; 111) + L_ANGLE@[107; 108) + LIFETIME_PARAM@[108; 110) + LIFETIME@[108; 110) "'a" + R_ANGLE@[110; 111) + WHITESPACE@[111; 112) + REFERENCE_TYPE@[112; 121) + AMP@[112; 113) + LIFETIME@[113; 115) "'a" + WHITESPACE@[115; 116) + MUT_KW@[116; 119) + WHITESPACE@[119; 120) + PATH_TYPE@[120; 121) + PATH@[120; 121) + PATH_SEGMENT@[120; 121) + NAME_REF@[120; 121) + IDENT@[120; 121) "T" + COLON@[121; 122) + WHITESPACE@[122; 123) + PATH_TYPE@[123; 131) + PATH@[123; 131) + PATH_SEGMENT@[123; 131) + NAME_REF@[123; 131) + IDENT@[123; 131) "Iterator" + WHITESPACE@[131; 132) + BLOCK@[132; 134) + L_CURLY@[132; 133) + R_CURLY@[133; 134) + WHITESPACE@[134; 135) -- cgit v1.2.3