@Override
public void checkType(TypingContext context) {
TMetaVar componentType = Types.metaVar(Kinds.STAR);
- 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);
}
@Override