"undefined identifier for type float" using array of var float at O2

[sbronson]

array [1..1] of var 0.0..0.0: a;

$ minizinc -O2 f.mzn
Error: undefined identifier for type float X_INTRODUCED_0_ in line no. 2
=====ERROR=====

Works at -O1. On develop.

If I point the optimize-2 test suite at unit/* and run it at -O2, I get some failures and segfaults. (The O0 options in optimize-2 and optimize-3 look like typos.)

libminizinc/tests/spec/suites.yml

Line 10 in 0ddacf0

optimize-2: !Suite