--  { dg-do compile }

package body Equal4 is
   procedure Compare (Obj : Equal4_Full_Selector_Filter.Object_T) is
      use type Equal4_Full_Selector_Filter.Object_T;

   begin
      if Obj = Equal4_Full_Selector_Filter.True then
         null;
      end if;
   end Compare;
end Equal4;