错误:除非为数组元素提供了初始化程序

时间:2018-07-13 15:08:33

标签: dafny

我遇到了这个错误

  

错误:除非为数组元素提供了初始化程序

我找不到此错误的解决方案。

我的示例代码:

class MyProblem {
    method Main()
    {
        var UserArray := new User[5]; 
    }
}

class User {
   var id : int;
   var phone : int;
}

谢谢。

0 个答案:

没有答案
相关问题