1 2 3 4 5 6 7 8 9
proc f() var p: ^[2]Int q: ^const [2]Int begin p := q (* @Error Expected type '\^\[2\]Int', but got '\^const \[2\]Int' *) return end.