1 2 3 4 5 6 7 8 9
#![no_main] use anodized::spec; #[spec(maintains: self.z < 42.0)] struct Point { x: f32, y: f32, }