class B[G->INTEGER_REF]
inherit
      A[G]
convert
   to_a: {A[DOUBLE]}
feature
   to_a: A[DOUBLE]
       do end
end