Combine Rust notions of paths

1 files changed, 3 insertions, 3 deletions

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)
     }