From 051ea60dc8a775f0fc82ebbc5f65a8c5f57157c0 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sat, 25 Jul 2026 23:48:53 +0100
Subject: Add type cases to Rust AST

---
 .../compiler/output/lang/rust/RustWriter.java      | 11 ++++++
 .../output/lang/rust/ast/RustExpression.java       |  2 +-
 .../lang/rust/ast/RustTypeCastExpression.java      | 40 ++++++++++++++++++++++
 3 files changed, 52 insertions(+), 1 deletion(-)
 create mode 100644 src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustTypeCastExpression.java

(limited to 'src/main/java/org')

diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/RustWriter.java b/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/RustWriter.java
index aa8d6cb..53b9a38 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/RustWriter.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/RustWriter.java
@@ -383,6 +383,10 @@ public class RustWriter implements AutoCloseable {
                 this.writeTupleExpression(tupleExpression);
             }
 
+            case RustTypeCastExpression typeCastExpression -> {
+                this.writeTypeCastExpression(typeCastExpression);
+            }
+
             case RustVecRepeatExpression vecRepeatExpression -> {
                 this.writeVecRepeatExpression(vecRepeatExpression);
             }
@@ -430,6 +434,7 @@ public class RustWriter implements AutoCloseable {
             case RustStructExpression _ -> RustPrecedence.PRIMARY;
             case RustTryPropagationExpression _ -> RustPrecedence.TRY_PROPAGATION;
             case RustTupleExpression _ -> RustPrecedence.PRIMARY;
+            case RustTypeCastExpression _ -> RustPrecedence.AS;
             case RustVecRepeatExpression _ -> RustPrecedence.PRIMARY;
         };
     }
@@ -668,6 +673,12 @@ public class RustWriter implements AutoCloseable {
         this.writer.write(")");
     }
 
+    private void writeTypeCastExpression(RustTypeCastExpression typeCastExpression) throws IOException {
+        this.writeSubExpression(typeCastExpression.left(), RustPrecedence.AS, true);
+        this.writer.write(" as ");
+        this.writeType(typeCastExpression.right());
+    }
+
     private void writeVecRepeatExpression(RustVecRepeatExpression vecRepeatExpression) throws IOException {
         this.writer.write("vec![");
         this.writeTopLevelExpression(vecRepeatExpression.repeatOperand());
diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustExpression.java b/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustExpression.java
index 5f51d5e..9f15f5b 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustExpression.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustExpression.java
@@ -5,7 +5,7 @@ package org.zwobble.hobgoblin.compiler.output.lang.rust.ast;
 // Custom area start: org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustExpression imports
 // Custom area end: org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustExpression imports
 
-public sealed interface RustExpression permits org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustArrayRepeatExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustBinaryExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustBlockExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustBoolLiteral, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustCallExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustClosureExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustFieldExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustIfExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustIntegerLiteral, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustIteratorLoopExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustMatchExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustPath, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustPrefixExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustRangeExpr, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustStructExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTryPropagationExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTupleExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustVecRepeatExpression {
+public sealed interface RustExpression permits org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustArrayRepeatExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustBinaryExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustBlockExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustBoolLiteral, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustCallExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustClosureExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustFieldExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustIfExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustIntegerLiteral, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustIteratorLoopExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustMatchExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustPath, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustPrefixExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustRangeExpr, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustStructExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTryPropagationExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTupleExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustVecRepeatExpression {
     public interface Builder {
         public org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustExpression build();
 
diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustTypeCastExpression.java b/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustTypeCastExpression.java
new file mode 100644
index 0000000..1a7e5bd
--- /dev/null
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/ast/RustTypeCastExpression.java
@@ -0,0 +1,40 @@
+// Generated by hobgoblin.
+
+package org.zwobble.hobgoblin.compiler.output.lang.rust.ast;
+
+// Custom area start: org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression imports
+// Custom area end: org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression imports
+
+public record RustTypeCastExpression(org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustExpression left, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustType right) implements org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustExpression {
+    public static org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression.Builder arbitrary() {
+        return new org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression.Builder(org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustBlockExpression.arbitrary().build(), org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustImplTraitType.arbitrary().build());
+    }
+
+    public record Builder(org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustExpression left, org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustType right) implements org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustExpression.Builder {
+        public org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression build() {
+            return new org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression(left, right);
+        }
+
+        public org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression.Builder withLeft(org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustExpression left) {
+            return new org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression.Builder(left, right);
+        }
+
+        public org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression.Builder withLeft(org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustExpression.Builder left) {
+            return new org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression.Builder(left.build(), right);
+        }
+
+        public org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression.Builder withRight(org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustType right) {
+            return new org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression.Builder(left, right);
+        }
+
+        public org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression.Builder withRight(org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustType.Builder right) {
+            return new org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression.Builder(left, right.build());
+        }
+
+        // Custom area start: org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression.Builder body
+        // Custom area end: org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression.Builder body
+    }
+
+    // Custom area start: org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression body
+    // Custom area end: org.zwobble.hobgoblin.compiler.output.lang.rust.ast.RustTypeCastExpression body
+}
-- 
cgit v1.2.3