- value.checkType(context, Types.apply(Types.LIST, componentType));
- pattern.checkTypeAsPattern(context, componentType);
- }
-
- @Override
- public void collectVars(TObjectIntHashMap<Variable> allVars,
- TIntHashSet vars) {
- value.collectVars(allVars, vars);
- }
-
- @Override
- public void collectFreeVariables(THashSet<Variable> vars) {
- value.collectFreeVariables(vars);
- pattern.collectFreeVariables(vars);
+ value = value.checkType(context, Types.apply(Types.LIST, componentType));
+ pattern = pattern.checkTypeAsPattern(context, componentType);