func (c *reflectSliceOfConstraint) solve(a *analysis, _ *node, delta nodeset) {
    changed := false
    for tObj := range delta {
        T := a.rtypeTaggedValue(tObj)