This warning message is displayed when one of the following occurs:
t = record case a : boolean of
true : ( x : integer);
false: ( y : char);
otherwise
(z : boolean)
end;
will generate this warning, because the variant selector a can have only two values (true and false), and these values are linked to the first two variants ( x : integer) and ( y : char), and therefore the third variant (z : boolean) can never become active.