[Issue 7452] Function using enforce() cannot be inferred as @safe because of anonymous function due to lazy argument
http://d.puremagic.com/issues/show_bug.cgi?id=7452 --- Comment #3 from github-bugzi...@puremagic.com 2012-02-19 15:00:39 PST --- Commit pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/b9938baed4f3a0d3606d40ad435ca0e18176980e Merge pull request #700 from kennytm/bug7452_lazy_safe Bug 7452 (@safe inference failed with a function literal inside) -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 7452] Function using enforce() cannot be inferred as @safe because of anonymous function due to lazy argument
http://d.puremagic.com/issues/show_bug.cgi?id=7452 Walter Bright bugzi...@digitalmars.com changed: What|Removed |Added Status|NEW |RESOLVED CC||bugzi...@digitalmars.com Resolution||FIXED -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
[Issue 7452] Function using enforce() cannot be inferred as @safe because of anonymous function due to lazy argument
http://d.puremagic.com/issues/show_bug.cgi?id=7452
kenn...@gmail.com changed:
What|Removed |Added
Summary|Function using enforce()|Function using enforce()
|cannot be inferred as @safe |cannot be inferred as @safe
|because of the lazy |because of anonymous
|argument|function due to lazy
||argument
--- Comment #1 from kenn...@gmail.com 2012-02-07 12:10:39 PST ---
Further reduced test case, showing the cause is the function/delegate type, not
'lazy'.
-
int f7452c()(int x)
{
auto y = function int() { return 0; };
return x;
}
void g7452c() pure nothrow @safe
{
assert(4 == f7452c(4));
}
-
Note that 'pure' and 'nothrow' are correctly inferred.
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
--- You are receiving this mail because: ---
[Issue 7452] Function using enforce() cannot be inferred as @safe because of anonymous function due to lazy argument
http://d.puremagic.com/issues/show_bug.cgi?id=7452 kenn...@gmail.com changed: What|Removed |Added Keywords||pull --- Comment #2 from kenn...@gmail.com 2012-02-07 13:01:01 PST --- https://github.com/D-Programming-Language/dmd/pull/700 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email --- You are receiving this mail because: ---
