PR# 19208 [RJ] Feature of qualified call is not available to client class

I'm getting this error when crossing from a cluster to a library.  See the example below.  I don't know how to create a library so I don't have a working simple example.
   Randy

class FOO -- (in a cluster or override cluster)
feature
   x
   local
      l_bar: BAR
   do
      l_bar.y
   end
end

class BAR -- (in a library)
feature {FOO}   -- FOO is not blue!
   y
   do
   end
end

I was going to put the code here but your new tool removes all of the carriage returns!

class FOO -- (in a cluster or override cluster)
feature
   x
   local
      l_bar: BAR
   do
      l_bar.y
   end
end

class BAR -- (in a library)
feature {FOO}   -- FOO is not blue!
   y
   do
   end
end

Just to clarify. Does the library of BAR list a cluster of FOO? If not, it does not know about a class of name FOO and the class name cannot be shown in blue in EiffelStudio.

Also, does the issue affect only EiffelStudio (the class name is not in blue) or also the compiler (the features of BAR selectively exported to FOO are not available in FOO)?