12 Aug
2022
12 Aug
'22
4:57 p.m.
On 8/12/22 01:51, Rémi Bernon (@rbernon) wrote:
Is there anything I should do here?
Sorry, I just accidentally dropped this on the floor.
I'm not thrilled about how much more space this requires, but I don't see any better way to do these checks at compile time, so I'll approve the merge request.