Dereferencing feature

[Dspil]

Gobra accepts the following 2 examples:

type A struct {
	x int
}

func main() {
	var x *A
	var y *A = &(*x)
	assert y == x
}

and

func main() {
	var x *[3]int
	var y []int = (*x)[:]
}