incorrect const init

[ltzmaxwell]

Description

see this:

package main

func main() {
	var s = make([][2]string, 1) // Slice with length 1
	s[0] = [2]string{"a", "b"}   // Assign value to s[0]
	const r = len(s[0])
	println(r) // Prints: 2
}

it should output 2, in Go, but got panic: nil slice index (out of bounds) in Gno.

[omarsy]

This PR #3600 should also resolve this issue.