****** Warning: Actually, `Void' has no accurate type. Keep in
mind that `Void' is just a way to denote the default value for
a type or to denote the lack of an object. One can use `Void'
as the right-hand-side of an assignment or to replace some actual
argument. (See "http://wiki.liberty-eiffel.org/index.php/Void"
for details.) At time being, the type ANY will be used for this
occurrence `Void'. Please update your code with a more accurate
expression, may be by adding an extra non-initialized local variable.

Line 14 column 17 in BAD_VOID3 (/home/et/Liberty/test/language/error_warning_msg/bad_void3.e):
         c := <<Void>>
                ^     
------
****** Fatal Error: Cannot create an ARRAY with only `Void' items.

Line 14 column 15 in BAD_VOID3 (/home/et/Liberty/test/language/error_warning_msg/bad_void3.e):
         c := <<Void>>
              ^       
------