diff --git a/compiler/htypechk.pas b/compiler/htypechk.pas
index aa44e1e1f3..38bca7c8e0 100644
--- a/compiler/htypechk.pas
+++ b/compiler/htypechk.pas
@@ -1750,7 +1750,15 @@ implementation
              niln,
              pointerconstn :
                begin
-                if report_errors then
+                 { this is an implicit dereference, so it is valid for assign }
+                 if hp.resultdef.typ=arraydef then
+                   begin
+                     valid_for_assign:=true;
+                     mayberesettypeconvs;
+                     exit;
+                   end;
+
+                 if report_errors then
                    CGMessagePos(hp.fileinfo,type_e_no_assign_to_addr);
                  mayberesettypeconvs;
                  exit;
diff --git a/tests/webtbs/tw41177.pp b/tests/webtbs/tw41177.pp
new file mode 100644
index 0000000000..bceda5cd18
--- /dev/null
+++ b/tests/webtbs/tw41177.pp
@@ -0,0 +1,12 @@
+program test;
+{$pointermath on}
+
+type
+  PRec = ^TRec;
+  TRec = record
+  end;
+
+begin
+  argv:=@PRec(0)[0];   // OK
+  argv:=@PRec(nil)[0]; // NotOK - "Can't assign values to an address"
+end.