Re: [PATCH v3 0/5] rust: time: Convert hrtimer to use Instant and Delta

[Miguel Ojeda]

On Wed, Jun 25, 2025 at 1:30 AM FUJITA Tomonori
<fujita.tomonori@xxxxxxxxx> wrote:
>
> Just to clarify, Delta implements Copy:

Sorry, that was a typo: I meant it is `Copy` (the table says `into_*`
is for non`-`Copy` types).

Cheers,
Miguel