lemma

Oop, double post. Bot having issues?

Ah okay! Would love to see a stable generic_const_expr one day.

Has there been any progress on that? The projects repo seems somewhat dead.

Const generics are already stable. Do you mean const inline or const expressions on type level?

I need to be put on a leash like this 🥹

Stuck at Stage 1/2 here for now 🥲

Me and who