Remove potentially lossy cast

1 files changed, 4 insertions, 2 deletions

diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/output/generators/rusttransient0/RustTransient0Generator.java b/src/main/java/org/zwobble/hobgoblin/compiler/output/generators/rusttransient0/RustTransient0Generator.java
index 3718f05..734e7f7 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/output/generators/rusttransient0/RustTransient0Generator.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/output/generators/rusttransient0/RustTransient0Generator.java
@@ -905,8 +905,10 @@ public class RustTransient0Generator implements Generator {
                                     List.of(
                                         new RustPrefixExpression(RustPrefixOperator.BORROW, new RustIndexExpression(
                                             RustPath.of(SHARED_VALUES_NAME),
-                                            // TODO: use try_into()
-                                            new RustTypeCastExpression(RustPath.of(id), RustTypes.USIZE)
+                                            new RustTryPropagationExpression(mapErrToInvalidData(new RustCallExpression(
+                                                RustTypes.USIZE.addSegment(RustPathSegment.of("try_from")),
+                                                List.of(RustPath.of(id))
+                                            )))
                                         ))
                                     )
                                 ),