Hi, When doing a trait derivation in the non-OMAKASE mode, the following lines of code are invoked: 1: RelSubset relSubset = planner.register(newRel, rel); 2: assert relSubset.set == planner.getSubset(rel).set;
The assertion on the second line may fail because the "newRel" is assigned not the "rel" set, but "rel" *canonical set*, which might be different. As a workaround, we may change the derive mode to OMAKASE. In this case, we do not hit the assertion and planning completes successfully. Shouldn't we remove the assertion above? Regards, Vladimir.
