/test/language/error_warning_msg/bad_void3.msg

 1****** Warning: Actually, `Void' has no accurate type. Keep in
 2mind that `Void' is just a way to denote the default value for
 3a type or to denote the lack of an object. One can use `Void'
 4as the right-hand-side of an assignment or to replace some actual
 5argument. (See "http://wiki.liberty-eiffel.org/index.php/Void"
 6for details.) At time being, the type ANY will be used for this
 7occurrence `Void'. Please update your code with a more accurate
 8expression, may be by adding an extra non-initialized local variable.
 9
10Line 14 column 17 in BAD_VOID3 (/home/et/Liberty/test/language/error_warning_msg/bad_void3.e):
11         c := <<Void>>
12                ^     
13------
14****** Fatal Error: Cannot create an ARRAY with only `Void' items.
15
16Line 14 column 15 in BAD_VOID3 (/home/et/Liberty/test/language/error_warning_msg/bad_void3.e):
17         c := <<Void>>
18              ^       
19------