Don <> changed:

           What    |Removed                     |Added
                 CC|                            |

--- Comment #6 from Don <> 2012-01-18 16:57:39 PST ---
(In reply to comment #5)
> Furthermore, the optimization also applies when it is the other way round
> (mutable return value implicitly converted to immutable), so the analysis 
> would
> consider implicit conversions of the return value anyway.

No. The only way an immutably pure function can return a mutable value, is if
it created it itself -- so we know it's unique. No analysis of the body of the
function is required.

But, if an immutable pure function returns an immutable value, we know nothing.
It could be a parameter, or an immutable global variable, or a variable created
inside the function.

Configure issuemail:
------- You are receiving this mail because: -------

Reply via email to