Mirrors/rust-analyzer
2
0
Fork 0
mirror of https://github.com/rust-lang/rust-analyzer synced 2024-11-17 02:08:30 +00:00
Code Issues Projects Releases Packages Wiki Activity

Merge #1039

Browse source 
1039: Support references in higher-ranked trait bounds r=matklad a=vipentti

Fixes #1020

Co-authored-by: Ville Penttinen <villem.penttinen@gmail.com>
This commit is contained in:
bors[bot] 2019-03-24 19:49:53 +00:00
commit 449eea1161
3 changed files with 130 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
crates/ra_parser/src/grammar/types.rs
View file

@ -202,12 +202,15 @@ pub(super) fn for_binder(p: &mut Parser) {
// test for_type
// type A = for<'a> fn() -> ();
// fn foo<T>(_t: &T) where for<'a> &'a T: Iterator {}
// fn bar<T>(_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"),
}

2
crates/ra_syntax/tests/data/parser/inline/ok/0081_for_type.rs
View file

@ -1 +1,3 @@
type A = for<'a> fn() -> ();
fn foo<T>(_t: &T) where for<'a> &'a T: Iterator {}
fn bar<T>(_t: &T) where for<'a> &'a mut T: Iterator {}

126
crates/ra_syntax/tests/data/parser/inline/ok/0081_for_type.txt
View file

@ -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)