- value.checkType(context, Types.apply(Types.LIST, componentType));
- pattern.checkTypeAsPattern(context, componentType);
+ value = value.checkType(context, Types.apply(Types.LIST, componentType));
+ pattern = pattern.checkTypeAsPattern(context, componentType);