public IType checkProto(Context context, MethodType type) { if (value != null) { return(value.checkProto(context, type)); } else { return(VoidType.Instance); } }