Segfault on variable in let expression for output statement

[CervEdin]

The following results in a segfault in MiniZinc 2.7.6

output let { var 0..0: Y } in
[  show(Y) ++ "\n" ];

as does

output let { var 0..0: Y; constraint Y == 0 } in
[ show(Y) ++ "\n", ];

but this doesn't

output let { var 0..0: Y = 0 } in
[ show(Y) ++ "\n", ];

and neither does

int: y = 0;
output let { var 0..0: Y = y } in
[ show(Y) ++ "\n", ];