On Mon Jul 13, 2026 at 10:23 PM CEST, Gary Guo wrote: > Actually, a more proper fix is to make `Device` invariant over their > context. It would require touching all `Device`, though. > > Danilo, let me know if you'd prefer that approach instead.
The bigger change is not a concern, but requiring every bus device implementor to consider this is a bit of a concern. If we can enforce it in the driver core code I'd prefer that.
