It is unlikely that we will change this in the near future since there are more important things to fixed than vision2 in this area. However to solve the short term issue you are having, you could do this instead: v2.set_data (create {CELL [DOUBLE]}.put (d)) and this will not violate the postcondition of `set_data'.