As I recall, there is code in the framework for assigning values to
features which tests if the CAS type being assigned to
a particular feature is subsumed by the range type of the feature.
This code was to make that test work in the case where the range type
was recorded as a "subtype" of an FSArray, because the user specified in
the XML for the feature that the elements of the FSArray were of a
particular type, say "Foo".
With this removed, what was happening before was that the subsumes test
would fail, because the type being assigned to the feature whose range
was Foo[] was just a plain FSArray, since there was no support to create
actual instances of Foo[].
I'm surprised no tests have failed. Did something else change?
-Marshall
Not that I know of. Do you remember which test that was? From your
description, it certainly sounds like this test should fail now.
--Thilo
