this attribute is generated only in check mode.
oops: fix doc
slight optimization
HACK: -debug strangely makes some native array types alive event when the generci argument itself is not alive. Make sure that the compilation does not fail in those cases.
fix incorrect code (invalid assumptions on the result of index_of)
simpler code
Merge github.com:LibertyEiffel/Liberty