After array initialization in dafny assertion fail

Question

I\'m trying to get into dafny, however I can\'t wrap my head around the following:

var a := new int[10];
var i := 0;
while i < 10
  decreases 20 - i 
{
  a