disco-0.1.0.0: test/error-duplicatetydefns/expected

Loading duptydefns.disco...
Error: duplicate definition for type XYZ.
https://disco-lang.readthedocs.io/en/latest/reference/dup-tydef.html