Open taiki-e opened 3 years ago
Oh sorry, I assumed it was a known limitation, or I would have filed a ticket.
I assume the restriction on not being able to implement Drop is desired though?
I assume the restriction on not being able to implement Drop is desired though?
I think this issue is purely a bug of the generics parsing.
I took a run at this; it turns out it's a lot harder to parse arbitrary generics using nothing but declarative macros. I'll take another run at it later.
i had a go (in 2021 apparently!) and decided it was probably impossible with macros as they are. if it isn't, i couldn't figure it out anyway.
Currently the following code fails to compile:
Originally found by @jjl (https://twitter.com/techpractical/status/1415215677225553922).