[lworld] Substitutability fails for value-class capable fields

XMLWordPrintable

    • Type: Bug
    • Resolution: Unresolved
    • Priority: P4
    • repo-valhalla
    • Affects Version/s: repo-valhalla
    • Component/s: core-libs

      The current recursive checks for value class equality does not work if a field is of a type that is not a concrete value class but can store a value object. For example, in the RecursiveValueClass::largeGraph test case, if the value class N is updated to have fields Object l;Object r; instead of N l;N r; the test stalls.

            Assignee:
            Chen Liang
            Reporter:
            Chen Liang
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated: