var
  cv: const Pointer
  p: Pointer

begin
  p := cv (* @Error Expected type 'Pointer', but got 'const Pointer' *)
end.