[Issue 10574] "auto ref" fails to match when IFTI succeeds (strip to level const)

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=10574



--- Comment #9 from Steven Schveighoffer <schveiguy at yahoo.com> 2013-07-11 11:32:46 PDT ---
(In reply to comment #7)
> The main point is what "auto ref" is doing - it's ref-ness deduction.
> If given argument is an lvalue, auto ref parameter would become ref. If it's an
> rvalue, would become non-ref. Nothing else is done.
> Type deduction and ref-ness deduction are completely orthogonal. It means that
> the combination of each deduction results might finally reject given argument.
> It's exactly what happened in the OP code.

I agree that was what auto-ref is supposed to do, but in this case, it's
hurting more than helping. I can't think of a valid reason to forbid this, can
you?

This bug report should be changed to an enhancement, though (and the
description appropriately modified).

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------