Index: sem_ch13.adb
===================================================================
--- sem_ch13.adb	(revision 255408)
+++ sem_ch13.adb	(working copy)
@@ -2389,6 +2389,10 @@
                   elsif Is_Incomplete_Type (E) then
                      Error_Msg_N
                        ("predicate cannot apply to incomplete view", Aspect);
+
+                  elsif Is_Generic_Type (E) then
+                     Error_Msg_N
+                       ("predicate cannot apply to formal type", Aspect);
                      goto Continue;
                   end if;