unrestrict
unrestrict(expr->right, sclass, &s);
unrestrict(expr->right, sclass, &s);
unrestrict(expr, class, &ctype);
unrestrict(expr, class, &ctype);
unrestrict(idx, i_class, &i_type);
unrestrict(case_expr, cclass, &case_type);
unrestrict(switch_expr, sclass, &switch_type);
unrestrict(left, lclass, <ype);
unrestrict(right, rclass, &rtype);
unrestrict(expr->left, lclass, <ype);
unrestrict(expr->right, rclass, &rtype);
unrestrict(expr->right, rclass, &rtype);
unrestrict(index, lclass, <ype);