Catherine West
Catherine West
We could add a `SizedRootable` trait as an "alias" for requiring that the associated `Root` type be sized, if we considered it obnoxious to require `for>::Root: Sized` everywhere, but realistically...
In https://github.com/kyren/deimos, this ended up being a bit more work than I thought due to the magic downcasting stuff there. You would think it would just be adding `: Sized`...
This is *significantly* less important now that #54 is merged, and in fact I don't know of a use case for it now?
> You would think it would just be adding : Sized bounds everywhere but for some reason I can't fully grasp, it made the compiler creak and groan a bit....
superseded by #102
This has *long* since been superseded by moulins' Lock and RefLock, closing!
This turned out to be a *whole thing* in the presence of `dyn Trait` types, which are somewhat unergonomic to make `+ Send`. I'm sure it's possible to do via...
> This turned out to be a whole thing in the presence of dyn Trait types, which are somewhat unergonomic to make + Send. I'm sure it's possible to do...
After mulling it over, I'm much more confident that this is sound. Treating 'gc as 'static *must* be sound for the same reasoning that underpins the existence of the entire...
WELL, being sound doesn't make it easy to use... The extra macro mode that I had worked in very simple cases but immediately fell over in complex ones, I'm still...