https://issues.dlang.org/show_bug.cgi?id=19175
--- Comment #9 from ag0aep6g ---
(In reply to Mike Franklin from comment #8)
> Works for me as in v2.087.1
Most of the test cases are correctly rejected now with -dip1000. But the one
from comment #7 is still accepted. Moved to issue 20150.
--
https://issues.dlang.org/show_bug.cgi?id=19175
Mike Franklin changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|---
https://issues.dlang.org/show_bug.cgi?id=19175
--- Comment #6 from anonymous4 ---
Same for pointers:
@safe:
struct A(T)
{
int* r;
this(int* q){r=q;}
}
int* escape(T)(int* r)
{
return A!int(r).r;
}
int* f()
{
int x;
return escape!int();
}
--
https://issues.dlang.org/show_bug.cgi?id=19175
Radu Racariu changed:
What|Removed |Added
CC||radu.raca...@gmail.com
--- Comment #5 from
https://issues.dlang.org/show_bug.cgi?id=19175
--- Comment #4 from anonymous4 ---
@safe:
struct A(T)
{
int[] r;
this(int[] q){r=q;}
}
int[] escape(T)(int[] r)
{
return A!int(r).r;
}
int[] f()
{
int[6] xs = [0, 1, 2, 3, 4, 5];
return xs.escape!int;
}
--
https://issues.dlang.org/show_bug.cgi?id=19175
--- Comment #3 from anonymous4 ---
Reduced:
@safe:
struct A(alias fun)
{
int[] r;
this(int[] q){r=q;}
}
template m(alias fun)
{
auto m(int[] r)
{
return A!fun(r);
}
}
auto foo() {
int[6] xs = [0, 1, 2, 3, 4, 5];
https://issues.dlang.org/show_bug.cgi?id=19175
Seb changed:
What|Removed |Added
CC||greensunn...@gmail.com
--
https://issues.dlang.org/show_bug.cgi?id=19175
--- Comment #2 from Peter Alexander ---
It is still broken with -dip1000
https://run.dlang.io/is/gJi2Fa
--
https://issues.dlang.org/show_bug.cgi?id=19175
Mike Franklin changed:
What|Removed |Added
Keywords||safe
CC|
https://issues.dlang.org/show_bug.cgi?id=19175
Jonathan M Davis changed:
What|Removed |Added
CC||issues.dl...@jmdavisprog.co
https://issues.dlang.org/show_bug.cgi?id=19175
Peter Alexander changed:
What|Removed |Added
Keywords||accepts-invalid
--
11 matches
Mail list logo