1 files changed, 5 insertions, 1 deletions
diff --git a/src/synth/synth-decls.adb b/src/synth/synth-decls.adb
index 1539b0039..b9207e0a6 100644
--- a/src/synth/synth-decls.adb
+++ b/src/synth/synth-decls.adb
@@ -792,7 +792,11 @@ package body Synth.Decls is
                Val := Synth_Subtype_Conversion
                  (Ctxt, Val, Inter_Type, True, Assoc);
 
-               pragma Assert (Is_Static (Val.Val));
+               if not Is_Static (Val.Val) then
+                  Error_Msg_Synth
+                    (+Assoc, "value of generic %i must be static", +Inter);
+                  Val := No_Valtyp;
+               end if;
 
                Create_Object (Sub_Inst, Inter, Val);