tests/sav/base_prot_sig2_alt6.res

   1 alt/base_prot_sig2_alt6.nit:28,16--21: Error: the protected property `vproA2` cannot contain the type `A` from the private module `base_prot_sig`.
   2 alt/base_prot_sig2_alt6.nit:28,16--21: Error: the protected property `vproA2=` cannot contain the type `A` from the private module `base_prot_sig`.