var
  cv: const Pointer := nil
  p: Pointer

program()
begin
  p := cv (* @Error Expected type 'Pointer', but got 'const Pointer' *)
return 0u8

end.