fn trait_func(&mut self, incr: u32) { @0⦊self.in_struct_field += incr⦉@0; @1,2⦊in_func(self.in_struct_field); }⦉@1,2