Trying to use Mir ion, its a perfect example of the failure of D's attribute system

[Sebastiaan Koppe]

On Thursday, 19 January 2023 at 15:22:08 UTC, Steven 
Schveighoffer wrote:
> Something like serialization/deserialization (which requires 
> templates) should use attribute inference, and use unittests to 
> prove memory safety/nogc/etc.
>
> Now, this *can* break down if not explicit since the compiler 
> sometimes gives up on inference, so maybe that's what happened 
> here.
>
> -Steve

That is exactly what happened here. It *should* just work with 
inference but it was impossible. Even reducing to a simple case 
wasn't possible, because it only appears in the large.

Note I wasn't personally involved, just 2nd hand experience.