var
  c: const Int := 2
  p: Pointer

begin
  p := @c (* @Error Expected type 'Pointer', but got '\^const Int' *)
end.