From 3e9a68f0235158f5ee2c70cb6b319b26e42fd810 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Tue, 14 Jul 2026 21:15:55 +0100
Subject: Combine Rust notions of paths

---
 examples/02-sum/output/rust/src/shapes.rs                    |  4 ++--
 .../03-inductive-data-types/output/rust/src/arithmetic.rs    |  6 +++---
 examples/05-list/output/rust/src/point.rs                    |  2 +-
 examples/10-transient-0/output/rust/src/data.rs              | 12 ++++++------
 4 files changed, 12 insertions(+), 12 deletions(-)

(limited to 'examples')

diff --git a/examples/02-sum/output/rust/src/shapes.rs b/examples/02-sum/output/rust/src/shapes.rs
index f06dd2b..1d2d00f 100644
--- a/examples/02-sum/output/rust/src/shapes.rs
+++ b/examples/02-sum/output/rust/src/shapes.rs
@@ -7,13 +7,13 @@ pub enum Shape {
     Triangle(crate::shapes::Triangle),
 }
 
-impl ::std::convert::From<crate::shapes::Rectangle> for crate::shapes::Shape {
+impl ::std::convert::From::<crate::shapes::Rectangle> for crate::shapes::Shape {
     fn from(value: crate::shapes::Rectangle) -> Self {
         Self::Rectangle(value)
     }
 }
 
-impl ::std::convert::From<crate::shapes::Triangle> for crate::shapes::Shape {
+impl ::std::convert::From::<crate::shapes::Triangle> for crate::shapes::Shape {
     fn from(value: crate::shapes::Triangle) -> Self {
         Self::Triangle(value)
     }
diff --git a/examples/03-inductive-data-types/output/rust/src/arithmetic.rs b/examples/03-inductive-data-types/output/rust/src/arithmetic.rs
index c9ea28d..9461bc4 100644
--- a/examples/03-inductive-data-types/output/rust/src/arithmetic.rs
+++ b/examples/03-inductive-data-types/output/rust/src/arithmetic.rs
@@ -2,17 +2,17 @@
 
 #[derive(Debug, PartialEq)]
 pub enum Expression {
-    Add(::std::boxed::Box<crate::arithmetic::Add>),
+    Add(::std::boxed::Box::<crate::arithmetic::Add>),
     Const(crate::arithmetic::Const),
 }
 
-impl ::std::convert::From<crate::arithmetic::Add> for crate::arithmetic::Expression {
+impl ::std::convert::From::<crate::arithmetic::Add> for crate::arithmetic::Expression {
     fn from(value: crate::arithmetic::Add) -> Self {
         Self::Add(::std::boxed::Box::new(value))
     }
 }
 
-impl ::std::convert::From<crate::arithmetic::Const> for crate::arithmetic::Expression {
+impl ::std::convert::From::<crate::arithmetic::Const> for crate::arithmetic::Expression {
     fn from(value: crate::arithmetic::Const) -> Self {
         Self::Const(value)
     }
diff --git a/examples/05-list/output/rust/src/point.rs b/examples/05-list/output/rust/src/point.rs
index e7308db..d80a831 100644
--- a/examples/05-list/output/rust/src/point.rs
+++ b/examples/05-list/output/rust/src/point.rs
@@ -2,7 +2,7 @@
 
 #[derive(Debug, PartialEq)]
 pub struct Path {
-    pub points: ::std::vec::Vec<crate::point::Point>,
+    pub points: ::std::vec::Vec::<crate::point::Point>,
 }
 
 #[derive(Debug, PartialEq)]
diff --git a/examples/10-transient-0/output/rust/src/data.rs b/examples/10-transient-0/output/rust/src/data.rs
index d4ddf02..814e4ca 100644
--- a/examples/10-transient-0/output/rust/src/data.rs
+++ b/examples/10-transient-0/output/rust/src/data.rs
@@ -38,14 +38,14 @@ pub struct InnerStruct {
 
 #[derive(Debug, PartialEq)]
 pub struct StructWithList {
-    pub a: ::std::vec::Vec<::core::primitive::i64>,
-    pub b: ::std::vec::Vec<crate::data::InnerStruct>,
+    pub a: ::std::vec::Vec::<::core::primitive::i64>,
+    pub b: ::std::vec::Vec::<crate::data::InnerStruct>,
 }
 
 #[derive(Debug, PartialEq)]
 pub struct StructWithOption {
-    pub a: ::std::option::Option<::core::primitive::i64>,
-    pub b: ::std::option::Option<crate::data::InnerStruct>,
+    pub a: ::std::option::Option::<::core::primitive::i64>,
+    pub b: ::std::option::Option::<crate::data::InnerStruct>,
 }
 
 #[derive(Debug, PartialEq)]
@@ -61,13 +61,13 @@ pub enum SumWithVariants {
     VariantTwo(crate::data::VariantTwo),
 }
 
-impl ::std::convert::From<crate::data::VariantOne> for crate::data::SumWithVariants {
+impl ::std::convert::From::<crate::data::VariantOne> for crate::data::SumWithVariants {
     fn from(value: crate::data::VariantOne) -> Self {
         Self::VariantOne(value)
     }
 }
 
-impl ::std::convert::From<crate::data::VariantTwo> for crate::data::SumWithVariants {
+impl ::std::convert::From::<crate::data::VariantTwo> for crate::data::SumWithVariants {
     fn from(value: crate::data::VariantTwo) -> Self {
         Self::VariantTwo(value)
     }
-- 
cgit v1.2.3