expected

Loading dupdefns.disco...
Error: duplicate definition for x.
https://disco-lang.readthedocs.io/en/latest/reference/dup-def.html