Open
Description
openedon Nov 4, 2024
Required for CQCL/guppylang#616.
Signature forall T, n. () -> array<n, T>. Accessing an such an uninitialised array element is undefined behaviour
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
