On Thu Jun 26, 2025 at 5:49 PM CEST, Danilo Krummrich wrote: > On Thu, Jun 26, 2025 at 05:32:25PM +0200, Danilo Krummrich wrote: >> On Thu, Jun 26, 2025 at 04:41:55PM +0200, Benno Lossin wrote: >> > On Thu Jun 26, 2025 at 4:02 PM CEST, Danilo Krummrich wrote: >> > > On Thu, Jun 26, 2025 at 01:15:34PM +0200, Danilo Krummrich wrote: >> > >> On Thu, Jun 26, 2025 at 12:36:23PM +0200, Benno Lossin wrote: >> > >> > Or, we could change `Release` to be: >> > >> > >> > >> > pub trait Release { >> > >> > type Ptr: ForeignOwnable; >> > >> > >> > >> > fn release(this: Self::Ptr); >> > >> > } >> > >> > >> > >> > and then `register_release` is: >> > >> > >> > >> > pub fn register_release<T: Release>(dev: &Device<Bound>, data: T::Ptr) -> Result >> > >> > >> > >> > This way, one can store a `Box<T>` and get access to the `T` at the end. >> > >> >> > >> I think this was also the case before? Well, it was P::Borrowed instead. >> > >> >> > >> > Or if they store the value in an `Arc<T>`, they have the option to clone >> > >> > it and give it to somewhere else. >> > >> >> > >> Anyways, I really like this proposal of implementing the Release trait. >> > > >> > > One downside seems to be that the compiler cannot infer T anymore with this >> > > function signature. >> > >> > Yeah... That's a bit annoying. >> > >> > We might be able to add an associated type to `ForeignOwnable` like >> > `Target` or `Inner` or whatever. >> >> I think we already have `PointedTo` [1]? But I remember that I've seen a patch >> to remove it again [2]. > > Well, not exactly, I think. Arc, for instance, defines PointedTo as ArcInner<T>. > So, I think we indeed want something different. Yeah `PointedTo` is used to specify the type of the foreign pointer and should go away soon. --- Cheers, Benno