wf-type-contract-const.tact

primitive Int;
primitive String;
trait BaseTrait {}

contract Test {
    const m: map<Int, String> = null;
}