PR# 16923 Wrong error reported on generic class with formal constrained twice by same class

For a class

   class TEST2 [G -> {ANY, ANY} create default_create end]

the compiler reports a VGCC(1) error and a VTCG error.  It should report
a VTGC(3) error since that is the real source of the problem and adding a
rename for `default_create' in one of the two constraining types allows the class
to compile.  Note also that if the constraint is instead

   class TEST2 [G -> {ANY, TEST1} create default_create end]

then the compiler correctly reports VTGC(3).

Added eweasel test multicon053 for this bug.




   

Run eweasel test multicon053.