StateInit struct has incorrect fields types

[Shvandre]

What we currently have is

struct StateInit {
    code: Cell;
    data: Cell;
}

Which is incorrect, as it should be

struct StateInit {
    code: Cell?;
    data: Cell?;
}

as code and data may be null.

(doing the code null do not have any sense in my mind, but having a null data is quite usual thing)

[novusnota]

(doing the code null do not have any sense in my mind, but having a null data is quite usual thing)

Agreed, so the resulting signature will probably be:

struct StateInit {
    code: Cell; // making this an optional is actually harmful
    data: Cell?;
}

Alternatively, to preserve backwards-compatibility, we might just introduce a StateInitOpt:

struct StateInitOpt {
    code: Cell;
    data: Cell?;
}