PR# 5218 Terminal indexing immediately following an attribute declaration generates error

I guess you must already know this, but just in case you don't I am reporting the problem. Is there a list of known bugs I can refer to so that I avoid reporting a known bug?

An indexing clause occurring at the end of a class and that immediately follows an attribute declaration generates an error. Removing the indexing or inserting a routine immediately before the indexing removes the error.

This code generates an error:

indexing

class
   ROOT_CLASS

create
   make

feature -- Initialization

   make is
         -- Creation procedure.
      do
         --| Add your code here
      end

feature {NONE} -- Access

   index: INTEGER
         -- Index

--   dummy is
--         -- Dummy routine
--      do
--      end

indexing

end -- class ROOT_CLASS

But if you remove the terminal indexing or uncomment the dummy routine then the file compiles.