diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-08-05 18:44:26 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-08-05 18:44:26 +0100 |
| commit | 8455bb19b7d4235e667cab9112aa276557969dcc (patch) | |
| tree | 3ad5a7cf2941c4918f9e6de612a711cd8846570f /examples/12-shared/output/rust/src | |
| parent | 266e826749b62c46e14d9590351f8c3b2de53512 (diff) | |
Type check generic native types
Diffstat (limited to 'examples/12-shared/output/rust/src')
| -rw-r--r-- | examples/12-shared/output/rust/src/lib.rs | 14 | ||||
| -rw-r--r-- | examples/12-shared/output/rust/src/point.rs | 15 |
2 files changed, 29 insertions, 0 deletions
diff --git a/examples/12-shared/output/rust/src/lib.rs b/examples/12-shared/output/rust/src/lib.rs new file mode 100644 index 0000000..af2c87f --- /dev/null +++ b/examples/12-shared/output/rust/src/lib.rs @@ -0,0 +1,14 @@ +mod point; + +#[cfg(test)] +mod test { + use std::sync::Arc; + use super::point::{Line, Point}; + + #[test] + fn line() { + let point = Arc::new(Point { x: 10, y: 25 }); + let line = Line { start: Arc::clone(&point), end: point }; + assert_eq!(line.start.x, 10); + } +} diff --git a/examples/12-shared/output/rust/src/point.rs b/examples/12-shared/output/rust/src/point.rs new file mode 100644 index 0000000..7bc470a --- /dev/null +++ b/examples/12-shared/output/rust/src/point.rs @@ -0,0 +1,15 @@ +// Generated by hobgoblin. + +/// A straight line from one point to another. +#[derive(Clone, Debug, Hash, PartialEq)] +pub struct Line { + pub start: ::std::sync::Arc::<crate::point::Point>, + pub end: ::std::sync::Arc::<crate::point::Point>, +} + +/// A 2D point. +#[derive(Clone, Debug, Hash, PartialEq)] +pub struct Point { + pub x: ::core::primitive::i32, + pub y: ::core::primitive::i32, +} |
