Shelf query result is invariant.

#2524   Compile-time warning

Shelf query result is invariant.

Additional Information

The result of the 'HAS KEY' shelf query on the VALUE argument 'X' is invariant; consider removing it.
    or
The result of the 'IS KEYED' shelf query on the VALUE argument 'X' is invariant; consider removing it.
    or
The result of the 'NUMBER OF' shelf query on a shelf literal is invariant; consider removing it.
    or
The result of the 'NUMBER OF' shelf query on the fixed-size shelf 'Y' is invariant; consider removing it.
    or
The result of the 'HAS KEY' shelf query on the keyless shelf 'Y' is invariant; consider removing it.
    or
The result of the 'IS KEYED' shelf query on the keyless shelf 'Y' is invariant; consider removing it.
    or
The result of the KEY OF' shelf query on the shelf 'I' indexed by key is invariant; consider removing it.
    or
The result of the 'ITEM OF' shelf query on the shelf 'I' indexed by item is invariant; consider removing it.

Recovery

Compilation continues normally.

Explanation

The result of a shelf query is known at compile time.