A generic class `C [G]' has a function `f: LIST [C [G]]' and also has a feature `item: G'. A descendant class redefines the function so that its signature is `f: LIST [C [like item]]' and it calls Precursor. The compiler dies in degree 3 when compiling the system. Reported by Manu on 20 December 2001.