https://issues.dlang.org/show_bug.cgi?id=15981
Issue ID: 15981
Summary: infer function types for auto functions
Product: D
Version: D2
Hardware: x86_64
OS: Linux
Status: NEW
Severity: enhancement
Priority: P1
Component: dmd
Assignee: [email protected]
Reporter: [email protected]
> Why didn't we go with all functions being able to infer const, pure etc
> rather than just templates?
The problem is essentially untractable when there are loops in the call graph.
That being said, it would make sense to do it for auto functions.
(discussion: http://forum.dlang.org/post/[email protected])
I just put this here, so it doesn't get forgotten ;-)
--
