Add ret type

12 files changed, 91 insertions, 55 deletions

diff --git a/crates/libsyntax2/Cargo.toml b/crates/libsyntax2/Cargo.toml
index 918c02775..3e5a83290 100644
--- a/crates/libsyntax2/Cargo.toml
+++ b/crates/libsyntax2/Cargo.toml
@@ -6,7 +6,7 @@ license = "MIT OR Apache-2.0"
 
 [dependencies]
 unicode-xid = "0.1.0"
-text_unit = "0.1.3"
+text_unit = "0.1.4"
 itertools = "0.7.8"
 drop_bomb = "0.1.4"
 parking_lot = "0.6.0"
diff --git a/crates/libsyntax2/src/ast/generated.rs b/crates/libsyntax2/src/ast/generated.rs
index 999023e3d..e8743caa8 100644
--- a/crates/libsyntax2/src/ast/generated.rs
+++ b/crates/libsyntax2/src/ast/generated.rs
@@ -523,6 +523,10 @@ impl<'a> FnDef<'a> {
     pub fn body(self) -> Option<Block<'a>> {
         super::child_opt(self)
     }
+
+    pub fn ret_type(self) -> Option<RetType<'a>> {
+        super::child_opt(self)
+    }
 }
 
 // FnPointerType
@@ -1412,6 +1416,24 @@ impl<'a> AstNode<'a> for ReferenceType<'a> {
 
 impl<'a> ReferenceType<'a> {}
 
+// RetType
+#[derive(Debug, Clone, Copy)]
+pub struct RetType<'a> {
+    syntax: SyntaxNodeRef<'a>,
+}
+
+impl<'a> AstNode<'a> for RetType<'a> {
+    fn cast(syntax: SyntaxNodeRef<'a>) -> Option<Self> {
+        match syntax.kind() {
+            RET_TYPE => Some(RetType { syntax }),
+            _ => None,
+        }
+    }
+    fn syntax(self) -> SyntaxNodeRef<'a> { self.syntax }
+}
+
+impl<'a> RetType<'a> {}
+
 // ReturnExpr
 #[derive(Debug, Clone, Copy)]
 pub struct ReturnExpr<'a> {
diff --git a/crates/libsyntax2/src/grammar.ron b/crates/libsyntax2/src/grammar.ron
index f8fa7b694..f1907d1ce 100644
--- a/crates/libsyntax2/src/grammar.ron
+++ b/crates/libsyntax2/src/grammar.ron
@@ -119,6 +119,7 @@ Grammar(
         "STRUCT_DEF",
         "ENUM_DEF",
         "FN_DEF",
+        "RET_TYPE",
         "EXTERN_CRATE_ITEM",
         "MODULE",
         "USE_ITEM",
@@ -252,8 +253,10 @@ Grammar(
             options: [
                 ["param_list", "ParamList"],
                 ["body", "Block"],
+                ["ret_type", "RetType"]
             ],
         ),
+        "RetType": (),
         "StructDef": (
             traits: [
                 "NameOwner",
diff --git a/crates/libsyntax2/src/grammar/mod.rs b/crates/libsyntax2/src/grammar/mod.rs
index 496d28349..1acecac41 100644
--- a/crates/libsyntax2/src/grammar/mod.rs
+++ b/crates/libsyntax2/src/grammar/mod.rs
@@ -119,8 +119,10 @@ fn abi(p: &mut Parser) {
 
 fn opt_fn_ret_type(p: &mut Parser) -> bool {
     if p.at(THIN_ARROW) {
+        let m = p.start();
         p.bump();
         types::type_(p);
+        m.complete(p, RET_TYPE);
         true
     } else {
         false
diff --git a/crates/libsyntax2/src/syntax_kinds/generated.rs b/crates/libsyntax2/src/syntax_kinds/generated.rs
index 0a22b11c2..7882bded9 100644
--- a/crates/libsyntax2/src/syntax_kinds/generated.rs
+++ b/crates/libsyntax2/src/syntax_kinds/generated.rs
@@ -119,6 +119,7 @@ pub enum SyntaxKind {
     STRUCT_DEF,
     ENUM_DEF,
     FN_DEF,
+    RET_TYPE,
     EXTERN_CRATE_ITEM,
     MODULE,
     USE_ITEM,
@@ -380,6 +381,7 @@ impl SyntaxKind {
             STRUCT_DEF => &SyntaxInfo { name: "STRUCT_DEF" },
             ENUM_DEF => &SyntaxInfo { name: "ENUM_DEF" },
             FN_DEF => &SyntaxInfo { name: "FN_DEF" },
+            RET_TYPE => &SyntaxInfo { name: "RET_TYPE" },
             EXTERN_CRATE_ITEM => &SyntaxInfo { name: "EXTERN_CRATE_ITEM" },
             MODULE => &SyntaxInfo { name: "MODULE" },
             USE_ITEM => &SyntaxInfo { name: "USE_ITEM" },
diff --git a/crates/libsyntax2/tests/data/parser/err/0010_unsafe_lambda_block.txt b/crates/libsyntax2/tests/data/parser/err/0010_unsafe_lambda_block.txt
index 400442c51..edd801599 100644
--- a/crates/libsyntax2/tests/data/parser/err/0010_unsafe_lambda_block.txt
+++ b/crates/libsyntax2/tests/data/parser/err/0010_unsafe_lambda_block.txt
@@ -17,13 +17,14 @@ ROOT@[0; 42)
             PIPE@[16; 17)
             PIPE@[17; 18)
           WHITESPACE@[18; 19)
-          THIN_ARROW@[19; 21)
-          WHITESPACE@[21; 22)
-          TUPLE_TYPE@[22; 24)
-            L_PAREN@[22; 23)
-            R_PAREN@[23; 24)
-            err: `expected a block`
-            err: `expected SEMI`
+          RET_TYPE@[19; 24)
+            THIN_ARROW@[19; 21)
+            WHITESPACE@[21; 22)
+            TUPLE_TYPE@[22; 24)
+              L_PAREN@[22; 23)
+              R_PAREN@[23; 24)
+              err: `expected a block`
+              err: `expected SEMI`
       WHITESPACE@[24; 25)
       EXPR_STMT@[25; 39)
         BLOCK_EXPR@[25; 38)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0030_fn_pointer_type_with_ret.txt b/crates/libsyntax2/tests/data/parser/inline/0030_fn_pointer_type_with_ret.txt
index 7d0ecfbd1..203839636 100644
--- a/crates/libsyntax2/tests/data/parser/inline/0030_fn_pointer_type_with_ret.txt
+++ b/crates/libsyntax2/tests/data/parser/inline/0030_fn_pointer_type_with_ret.txt
@@ -13,10 +13,11 @@ ROOT@[0; 21)
         L_PAREN@[11; 12)
         R_PAREN@[12; 13)
       WHITESPACE@[13; 14)
-      THIN_ARROW@[14; 16)
-      WHITESPACE@[16; 17)
-      TUPLE_TYPE@[17; 19)
-        L_PAREN@[17; 18)
-        R_PAREN@[18; 19)
+      RET_TYPE@[14; 19)
+        THIN_ARROW@[14; 16)
+        WHITESPACE@[16; 17)
+        TUPLE_TYPE@[17; 19)
+          L_PAREN@[17; 18)
+          R_PAREN@[18; 19)
     SEMI@[19; 20)
   WHITESPACE@[20; 21)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0031_for_type.txt b/crates/libsyntax2/tests/data/parser/inline/0031_for_type.txt
index 41461f2a6..f6b962b2c 100644
--- a/crates/libsyntax2/tests/data/parser/inline/0031_for_type.txt
+++ b/crates/libsyntax2/tests/data/parser/inline/0031_for_type.txt
@@ -21,10 +21,11 @@ ROOT@[0; 29)
           L_PAREN@[19; 20)
           R_PAREN@[20; 21)
         WHITESPACE@[21; 22)
-        THIN_ARROW@[22; 24)
-        WHITESPACE@[24; 25)
-        TUPLE_TYPE@[25; 27)
-          L_PAREN@[25; 26)
-          R_PAREN@[26; 27)
+        RET_TYPE@[22; 27)
+          THIN_ARROW@[22; 24)
+          WHITESPACE@[24; 25)
+          TUPLE_TYPE@[25; 27)
+            L_PAREN@[25; 26)
+            R_PAREN@[26; 27)
     SEMI@[27; 28)
   WHITESPACE@[28; 29)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0038_function_ret_type.txt b/crates/libsyntax2/tests/data/parser/inline/0038_function_ret_type.txt
index 0df6c8f51..a3d235ce1 100644
--- a/crates/libsyntax2/tests/data/parser/inline/0038_function_ret_type.txt
+++ b/crates/libsyntax2/tests/data/parser/inline/0038_function_ret_type.txt
@@ -21,11 +21,12 @@ ROOT@[0; 30)
       L_PAREN@[18; 19)
       R_PAREN@[19; 20)
     WHITESPACE@[20; 21)
-    THIN_ARROW@[21; 23)
-    WHITESPACE@[23; 24)
-    TUPLE_TYPE@[24; 26)
-      L_PAREN@[24; 25)
-      R_PAREN@[25; 26)
+    RET_TYPE@[21; 26)
+      THIN_ARROW@[21; 23)
+      WHITESPACE@[23; 24)
+      TUPLE_TYPE@[24; 26)
+        L_PAREN@[24; 25)
+        R_PAREN@[25; 26)
     WHITESPACE@[26; 27)
     BLOCK@[27; 29)
       L_CURLY@[27; 28)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0066_lambda_expr.txt b/crates/libsyntax2/tests/data/parser/inline/0066_lambda_expr.txt
index 6b34bc302..6f8304db3 100644
--- a/crates/libsyntax2/tests/data/parser/inline/0066_lambda_expr.txt
+++ b/crates/libsyntax2/tests/data/parser/inline/0066_lambda_expr.txt
@@ -28,13 +28,14 @@ ROOT@[0; 79)
             PIPE@[26; 27)
             PIPE@[27; 28)
           WHITESPACE@[28; 29)
-          THIN_ARROW@[29; 31)
-          WHITESPACE@[31; 32)
-          PATH_TYPE@[32; 35)
-            PATH@[32; 35)
-              PATH_SEGMENT@[32; 35)
-                NAME_REF@[32; 35)
-                  IDENT@[32; 35) "i32"
+          RET_TYPE@[29; 35)
+            THIN_ARROW@[29; 31)
+            WHITESPACE@[31; 32)
+            PATH_TYPE@[32; 35)
+              PATH@[32; 35)
+                PATH_SEGMENT@[32; 35)
+                  NAME_REF@[32; 35)
+                    IDENT@[32; 35) "i32"
           WHITESPACE@[35; 36)
           BLOCK@[36; 42)
             L_CURLY@[36; 37)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0093_path_fn_trait_args.txt b/crates/libsyntax2/tests/data/parser/inline/0093_path_fn_trait_args.txt
index 1b1a8a9e2..26a690d3a 100644
--- a/crates/libsyntax2/tests/data/parser/inline/0093_path_fn_trait_args.txt
+++ b/crates/libsyntax2/tests/data/parser/inline/0093_path_fn_trait_args.txt
@@ -35,11 +35,12 @@ ROOT@[0; 32)
                                 IDENT@[19; 22) "i32"
                       R_PAREN@[22; 23)
                     WHITESPACE@[23; 24)
-                    THIN_ARROW@[24; 26)
-                    WHITESPACE@[26; 27)
-                    TUPLE_TYPE@[27; 29)
-                      L_PAREN@[27; 28)
-                      R_PAREN@[28; 29)
+                    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)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0095_path_type_with_bounds.txt b/crates/libsyntax2/tests/data/parser/inline/0095_path_type_with_bounds.txt
index 0703d1da2..4b864f741 100644
--- a/crates/libsyntax2/tests/data/parser/inline/0095_path_type_with_bounds.txt
+++ b/crates/libsyntax2/tests/data/parser/inline/0095_path_type_with_bounds.txt
@@ -8,26 +8,27 @@ ROOT@[0; 27)
       L_PAREN@[6; 7)
       R_PAREN@[7; 8)
     WHITESPACE@[8; 9)
-    THIN_ARROW@[9; 11)
-    WHITESPACE@[11; 12)
-    PATH_TYPE@[12; 23)
-      PATH@[12; 23)
-        PATH_SEGMENT@[12; 23)
-          NAME_REF@[12; 15)
-            IDENT@[12; 15) "Box"
-          TYPE_ARG_LIST@[15; 23)
-            L_ANGLE@[15; 16)
-            TYPE_ARG@[16; 22)
-              PATH_TYPE@[16; 22)
-                PATH@[16; 17)
-                  PATH_SEGMENT@[16; 17)
-                    NAME_REF@[16; 17)
-                      IDENT@[16; 17) "T"
-                WHITESPACE@[17; 18)
-                PLUS@[18; 19)
-                WHITESPACE@[19; 20)
-                LIFETIME@[20; 22) "'f"
-            R_ANGLE@[22; 23)
+    RET_TYPE@[9; 23)
+      THIN_ARROW@[9; 11)
+      WHITESPACE@[11; 12)
+      PATH_TYPE@[12; 23)
+        PATH@[12; 23)
+          PATH_SEGMENT@[12; 23)
+            NAME_REF@[12; 15)
+              IDENT@[12; 15) "Box"
+            TYPE_ARG_LIST@[15; 23)
+              L_ANGLE@[15; 16)
+              TYPE_ARG@[16; 22)
+                PATH_TYPE@[16; 22)
+                  PATH@[16; 17)
+                    PATH_SEGMENT@[16; 17)
+                      NAME_REF@[16; 17)
+                        IDENT@[16; 17) "T"
+                  WHITESPACE@[17; 18)
+                  PLUS@[18; 19)
+                  WHITESPACE@[19; 20)
+                  LIFETIME@[20; 22) "'f"
+              R_ANGLE@[22; 23)
     WHITESPACE@[23; 24)
     BLOCK@[24; 26)
       L_CURLY@[24; 25)