to trigger an actual check you have to add the following code for >6.0 to get an error in the ROOT_CLASS:


 
   make is
   do
      create g
   end
 
   g: GENERIC[CHILD]