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