Yes, it would be well-defined to immediately call assume_init. But since assume_init is unsafe, you would still be prevented from conjuring T out of thin air with purely safe code. Honestly this design seems unnecessarily convoluted to me, but I mentioned it since it came up earlier in this thread.
1 Like