Losing array length information of field in outline

[Dspil]

The assertion in the following code snippet fails although it should be obvious from the type of x.m.

package pkg

type A struct {
	m [6]int
}

requires acc(&x.m)
func f(x *A) {
	preserves acc(&x.m)
	outline (
		assert len(x.m) == 6 // this assertion fails
	)
}