var generic_type = param.parameter_type as GenericType;
if (generic_type != null && generic_type.type_parameter == type_param) {
- type_arg = arg.value_type;
+ type_arg = arg.value_type.copy ();
+ type_arg.value_owned = true;
break;
}
if (type_arg == null) {
var generic_type = m.return_type as GenericType;
if (generic_type != null && generic_type.type_parameter == type_param) {
- type_arg = target_type;
+ type_arg = target_type.copy ();
+ type_arg.value_owned = true;
}
}