Dupping in a nothrow function?

[bearophile]

Simen kjaeraas:

> It's probably correct that _adDupT is not nothrow. It is also wrong
> that it shouldn't be.

I was about to write a bug report regarding allowing dupping in nothrow functions, because this is now allowed, and I think this is the same thing as doing a dup:


nothrow void foo(int[] a) {
    auto b = new int[a.length];
    b[] = a[];
}
void main() {}


Bye,
bearophile