cast expr

5 files changed, 48 insertions, 0 deletions

diff --git a/src/grammar.ron b/src/grammar.ron
index ca37eb80b..b525476c2 100644
--- a/src/grammar.ron
+++ b/src/grammar.ron
@@ -162,6 +162,7 @@ Grammar(
         "METHOD_CALL_EXPR",
         "FIELD_EXPR",
         "TRY_EXPR",
+        "CAST_EXPR",
 
         // unary
         "REF_EXPR",
diff --git a/src/grammar/expressions/mod.rs b/src/grammar/expressions/mod.rs
index e0b4ced74..c137fe654 100644
--- a/src/grammar/expressions/mod.rs
+++ b/src/grammar/expressions/mod.rs
@@ -183,6 +183,7 @@ fn postfix_expr(p: &mut Parser, mut lhs: CompletedMarker) -> CompletedMarker {
                 m.complete(p, RANGE_EXPR)
             }
             QUESTION => try_expr(p, lhs),
+            AS_KW => cast_expr(p, lhs),
             _ => break,
         }
     }
@@ -260,6 +261,18 @@ fn try_expr(p: &mut Parser, lhs: CompletedMarker) -> CompletedMarker {
     m.complete(p, TRY_EXPR)
 }
 
+// test cast_expr
+// fn foo() {
+//     82 as i32;
+// }
+fn cast_expr(p: &mut Parser, lhs: CompletedMarker) -> CompletedMarker {
+    assert!(p.at(AS_KW));
+    let m = lhs.precede(p);
+    p.bump();
+    types::type_(p);
+    m.complete(p, CAST_EXPR)
+}
+
 fn arg_list(p: &mut Parser) {
     assert!(p.at(L_PAREN));
     let m = p.start();
diff --git a/src/syntax_kinds/generated.rs b/src/syntax_kinds/generated.rs
index 3c5071126..005f4a9dc 100644
--- a/src/syntax_kinds/generated.rs
+++ b/src/syntax_kinds/generated.rs
@@ -150,6 +150,7 @@ pub enum SyntaxKind {
     METHOD_CALL_EXPR,
     FIELD_EXPR,
     TRY_EXPR,
+    CAST_EXPR,
     REF_EXPR,
     DEREF_EXPR,
     NOT_EXPR,
@@ -383,6 +384,7 @@ impl SyntaxKind {
             METHOD_CALL_EXPR => &SyntaxInfo { name: "METHOD_CALL_EXPR" },
             FIELD_EXPR => &SyntaxInfo { name: "FIELD_EXPR" },
             TRY_EXPR => &SyntaxInfo { name: "TRY_EXPR" },
+            CAST_EXPR => &SyntaxInfo { name: "CAST_EXPR" },
             REF_EXPR => &SyntaxInfo { name: "REF_EXPR" },
             DEREF_EXPR => &SyntaxInfo { name: "DEREF_EXPR" },
             NOT_EXPR => &SyntaxInfo { name: "NOT_EXPR" },
diff --git a/tests/data/parser/inline/0087_cast_expr.rs b/tests/data/parser/inline/0087_cast_expr.rs
new file mode 100644
index 000000000..3e53d56d6
--- /dev/null
+++ b/tests/data/parser/inline/0087_cast_expr.rs
@@ -0,0 +1,3 @@
+fn foo() {
+    82 as i32;
+}
diff --git a/tests/data/parser/inline/0087_cast_expr.txt b/tests/data/parser/inline/0087_cast_expr.txt
new file mode 100644
index 000000000..78210f0d5
--- /dev/null
+++ b/tests/data/parser/inline/0087_cast_expr.txt
@@ -0,0 +1,29 @@
+FILE@[0; 28)
+  FN_ITEM@[0; 27)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    WHITESPACE@[8; 9)
+    BLOCK_EXPR@[9; 27)
+      L_CURLY@[9; 10)
+      WHITESPACE@[10; 15)
+      EXPR_STMT@[15; 25)
+        CAST_EXPR@[15; 24)
+          LITERAL@[15; 17)
+            INT_NUMBER@[15; 17) "82"
+          WHITESPACE@[17; 18)
+          AS_KW@[18; 20)
+          WHITESPACE@[20; 21)
+          PATH_TYPE@[21; 24)
+            PATH@[21; 24)
+              PATH_SEGMENT@[21; 24)
+                NAME_REF@[21; 24)
+                  IDENT@[21; 24) "i32"
+        SEMI@[24; 25)
+      WHITESPACE@[25; 26)
+      R_CURLY@[26; 27)
+  WHITESPACE@[27; 28)