Missing substitution of qualified enumeration literals in conditions

[treiher]

Example

with Foo;

package Test is

   type Message is
      message     
         A : Foo.T   
            then null   
               if A = Foo.E1; 
      end message;

end Test;

package Foo is

   type T is (E1, E2) with Size => 8;

end Foo;