https://github.com/Quantinuum/guppylang/pull/1871 Related: #123
Quantinuum/guppylang#1871
Related: #123