You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm unsure as to whether this should live in our typechecker or our const checker. One one hand, it makes sense to check that during typechecking, on the other hand it could be quite a large amount of code + we'd need to handle the feature properly. I think it would be fine to put that as part of the const checker, and lookup types using the type context (and disable that error if the feature is enabled)
Per the documentation on const generics:
Afterwards, we can look into more complex types gated behind the
adt_const_params
featureThe text was updated successfully, but these errors were encountered: