path: root/testsuite/fail_compilation/assign_deep_const_pointer.elna

module

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

end.