disco-0.1.0.0: test/error-duplicatedecls/dupdecls.disco

x : Z
x = 3

x : Z
x = 4