On Sunday, 25 April 2021 at 12:54:43 UTC, Jack wrote: > I find out this later. I give up trying to get this in > automatic way at compile time That's because the type might not be known at compile time at all, it might come from like a plugin loaded at run time and only ever accessed through the interface.