proc f()
var
  p: ^^const Int
  q: ^^Int
begin
  p := q (* @Error Expected type '\^\^const Int', but got '\^\^Int' *)
return

end.