var
  c: const Int := 2
  p: Pointer

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

end.