Function check_properties

tests/binary/traits/src/main.rs:85–87

Checks properties via immutable trait object

(calc: &dyn Calculator)

        self.next += 1;
        Some(value)
    }
}

struct I64Source {
    next: i64,
}